3 search results - page 1 / 1 » HOOVER: Hardware Object-Oriented Verification |
105
Voted
GLVLSI
1998
IEEE
15 years 11 months ago
1998
IEEE
186
Voted
DAC
2001
ACM
16 years 7 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'...
172
Voted
TAP
2008
Springer
15 years 6 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...