Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu
Verification of VHDL Designs Using VAL
DAC, 1988.
@inproceedings{DAC-1988-AugustinGHLS,
acmid = "285730.285737",
author = "Larry M. Augustin and Benoit A. Gennart and Youm Huh and David C. Luckham and Alec G. Stanculescu",
booktitle = "{Proceedings of the 25th Design Automation Conference}",
pages = "48--53",
publisher = "{ACM}",
title = "{Verification of VHDL Designs Using VAL}",
year = 1988,
}