1355 search results - page 11 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
HYBRID
1998
Springer
13 years 12 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...