C. J. Rimkus, Michael R. Wayne, D. D. Cheng, F. J. Magistro
Structured design verification: Function and timing
DAC, 1983.
@inproceedings{DAC-1983-RimkusWCM,
acmid = "800672",
author = "C. J. Rimkus and Michael R. Wayne and D. D. Cheng and F. J. Magistro",
booktitle = "{Proceedings of the 20th Design Automation Conference}",
isbn = "0-8186-0026-8",
pages = "246--252",
publisher = "{ACM/IEEE}",
title = "{Structured design verification: Function and timing}",
year = 1983,
}