1355 search results - page 2 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
FDL
2007
IEEE
13 years 9 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
ISCAS
2003
IEEE
13 years 11 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
HYBRID
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
CAV
1990
Springer
13 years 9 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values