212
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...
123
Voted
CHARME
15 years 10 months ago
2005 Springer  156
Voted
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...
143
Voted
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...
125
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