Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
Jain, Himanshu, Kroening, Daniel, Sharygina, Natasha and Clarke, Edmund infojournal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) |
month | February |
pages | 366—379 |
publisher | IEEE |
volume | 27 |
year | 2008 |
links
BibTeX
related pages
|
