VCEGAR: Verilog CounterExample Guided Abstraction Refinement
Himanshu Jain‚ Daniel Kroening‚ Natasha Sharygina and Edmund Clarke
Book Title
Proceedings of TACAS 2007
Pages
583–586
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4424
Year
2007