Skip to main content

Verification of SpecC and Verilog using Predicate Abstraction

Himanshu Jain‚ Edmund Clarke and Daniel Kroening

Book Title
Proceedings of MEMOCODE 2004
ISBN
0−7803−8509−8
Pages
7–16
Publisher
IEEE
Year
2004