Ernst Ulrich
A design verification methodology based on concurrent simulation and clock suppression
DAC, 1983.
@inproceedings{DAC-1983-Ulrich,
acmid = "800747",
author = "Ernst Ulrich",
booktitle = "{Proceedings of the 20th Design Automation Conference}",
isbn = "0-8186-0026-8",
pages = "709--712",
publisher = "{ACM/IEEE}",
title = "{A design verification methodology based on concurrent simulation and clock suppression}",
year = 1983,
}