241 search results - page 3 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
DAC
2004
ACM
14 years 7 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
FMCAD
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
JAR
2011
13 years 1 months ago
2011
ISQED
2011
IEEE
12 years 10 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
ISQED
2006
IEEE
14 years 8 days ago
2006
IEEE
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...