@inproceedings{jksc2007, AUTHOR = { Jain, Himanshu and Kroening, Daniel and Sharygina, Natasha and Clarke, Edmund }, TITLE = { {VCEGAR}: Verilog CounterExample Guided Abstraction Refinement }, BOOKTITLE = { Proceedings of TACAS 2007 }, YEAR = { 2007 }, PUBLISHER = { Springer }, PAGES = { 583--586 }, SERIES = { Lecture Notes in Computer Science }, VOLUME = { 4424 }, }