10 search results - page 1 / 2 » Synthesis of Reversible Sequential Elements |
ASPDAC
2007
ACM
13 years 9 months ago
2007
ACM
ISCAS
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential reversible logic. We...
WCRE
2002
IEEE
13 years 9 months ago
2002
IEEE
As new computer architectures are developed to exploit large-scale data-level parallelism, techniques are needed to retarget legacy sequential code to these platforms. Sequential ...
DAC
1995
ACM
13 years 8 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
CAV
2010
Springer
13 years 8 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...