226
click to vote
CHARME
15 years 11 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...
170
click to vote
CHARME
15 years 7 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...
157
click to vote
CHARME
15 years 11 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...
139
click to vote
CHARME
15 years 11 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