Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu
Functional Verification of Large ASICs
DAC, 1998.
@inproceedings{DAC-1998-EvansSVBDHHL,
author = "Adrian Evans and Allan Silburt and Gary Vrckovnik and Thane Brown and Mario Dufresne and Geoffrey Hall and Tung Ho and Ying Liu",
booktitle = "{Proceedings of the 35th Design Automation Conference}",
doi = "10.1145/277044.277210",
isbn = "0-89791-964-5",
pages = "650--655",
publisher = "{ACM Press}",
title = "{Functional Verification of Large ASICs}",
year = 1998,
}