10718 search results - page 109 / 2144 » On the Circuit Implementation Problem |
132
click to vote
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a quantum algorithm for finding minimal ESCT (Exclusive-or Sum of Complex Terms) or ESOP (Exclusiveor Sum Of Products) expressions for any arbitrary incomplet...
90
Voted
EH
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a new approach to reversible cascade evolution based on a 3D cellular automaton. As a research platform we used the ATR’s CAMBrain Machine (CBM). Reversible ...
124
Voted
VTS
1997
IEEE
15 years 7 months ago
1997
IEEE
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...
111
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
126
Voted
CDES
2008
15 years 5 months ago
2008
This paper presents a quantum algorithm for finding minimal ESCT (Exclusive-or Sum of Complex Terms) or ESOP (Exclusive-or Sum Of Products) expressions for any arbitrary multi-outp...