62 search results - page 1 / 13 » Generalized cofactoring for logic function evaluation |
DAC
2003
ACM
14 years 5 months ago
2003
ACM
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
—We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward the output while minimizing area. A specific ap...
TCAD
2008
13 years 4 months ago
2008
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...
DATE
2002
IEEE
13 years 9 months ago
2002
IEEE
Phased logic has been proposed as a technique for realizing self-timed circuitry that is delay-insensitive and requires no global clock signals. Early evaluation techniques have b...
ICLP
1990
Springer
13 years 8 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...