10718 search results - page 201 / 2144 » On the Circuit Implementation Problem |
156
click to vote
ISMVL
2006
IEEE
15 years 10 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
121
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we study the technology mapping problem of FPGA architectures with dual supply voltages (Vdds) for power optimization. This is done with the guarantee that the mappi...
104
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
128
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
148
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Thermal problems and limitations on interlayer via densities are important design constraints on three-dimensional integrated circuits (3D ICs), and need to be considered during g...