Checking Consistency of C and Verilog using Predicate Abstraction and Induction
Daniel Kroening and Edmund Clarke
Book Title
Proceedings of ICCAD
Month
November
Pages
66–72
Publisher
IEEE
Year
2004
Daniel Kroening and Edmund Clarke