Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu. Functional Verification of Large ASICs. In DAC. pages 650-655, 1998. [doi]
@inproceedings{EvansSVBDHHL98,
title = {Functional Verification of Large ASICs},
author = {Adrian Evans and Allan Silburt and Gary Vrckovnik and Thane Brown and Mario Dufresne and Geoffrey Hall and Tung Ho and Ying Liu},
year = {1998},
doi = {10.1145/277044.277210},
url = {http://doi.acm.org/10.1145/277044.277210},
researchr = {https://researchr.org/publication/EvansSVBDHHL98},
cites = {0},
citedby = {0},
pages = {650-655},
booktitle = {DAC},
}