3 search results - page 1 / 1 » HOOVER: Hardware Object-Oriented Verification |
GLVLSI
1998
IEEE
13 years 9 months ago
1998
IEEE
DAC
2001
ACM
14 years 5 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
TAP
2008
Springer
13 years 4 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...