115 search results - page 2 / 23 » Sequential Circuit Verification Using Symbolic Model Checkin... |
ASPDAC
2001
ACM
13 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
CAV
1990
Springer
13 years 10 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
ENTCS
2006
13 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
ISSTA
2006
ACM
14 years 9 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...