277 search results - page 8 / 56 » A transformation based algorithm for reversible logic synthe... |
131
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
ASPDAC
2000
ACM
15 years 9 months ago
2000
ACM
160
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
124
click to vote
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
183
Voted
AGP
2010
IEEE
15 years 9 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...