%0 Conference Paper %1 conf/dac/EvansSVBDHHL98 %A Evans, Adrian %A Silburt, Allan %A Vrckovnik, Gary %A Brown, Thane %A Dufresne, Mario %A Hall, Geoffrey %A Ho, Tung %A Liu, Ying %B DAC %D 1998 %E Chawla, Basant R. %E Bryant, Randal E. %E Rabaey, Jan M. %I ACM Press %K dblp %P 650-655 %T Functional Verification of Large ASICs. %U http://dblp.uni-trier.de/db/conf/dac/dac98.html#EvansSVBDHHL98 %@ 0-89791-964-5

@inproceedings{conf/dac/EvansSVBDHHL98, added-at = {2017-03-16T00:00:00.000+0100}, author = {Evans, Adrian and Silburt, Allan and Vrckovnik, Gary and Brown, Thane and Dufresne, Mario and Hall, Geoffrey and Ho, Tung and Liu, Ying}, biburl = {https://www.bibsonomy.org/bibtex/2523360d850e99c3f3c85c4f6e2fdac47/dblp}, booktitle = {DAC}, crossref = {conf/dac/1998}, editor = {Chawla, Basant R. and Bryant, Randal E. and Rabaey, Jan M.}, ee = {http://doi.acm.org/10.1145/277044.277210}, interhash = {afd7554188d2b1518940df0df20b8236}, intrahash = {523360d850e99c3f3c85c4f6e2fdac47}, isbn = {0-89791-964-5}, keywords = {dblp}, pages = {650-655}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:01.000+0100}, title = {Functional Verification of Large ASICs.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac98.html#EvansSVBDHHL98}, year = 1998 }