199
click to vote
CHARME
15 years 10 months ago
2005 Springer 
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
144
click to vote
CHARME
15 years 6 months ago
2005 Springer 
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
139
click to vote
CHARME
15 years 10 months ago
2005 Springer 
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
119
click to vote
CHARME
15 years 10 months ago
2005 Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
|
Hardware