Kit Tham, Rob Willoner, David Wimp
Functional design verification by multi-level simulation
DAC, 1984.
@inproceedings{DAC-1984-ThamWW,
acmid = "800841",
author = "Kit Tham and Rob Willoner and David Wimp",
booktitle = "{Proceedings of the 21st Design Automation Conference}",
isbn = "0-8186-0542-1",
pages = "473--478",
publisher = "{ACM/IEEE}",
title = "{Functional design verification by multi-level simulation}",
year = 1984,
}