3 search results - page 1 / 1 » HOOVER: Hardware Object-Oriented Verification |
GLVLSI
1998
IEEE
14 years 3 months ago
1998
IEEE
DAC
2001
ACM
14 years 12 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 10 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...