![](/img/cover-not-exists.png)
[IEEE 25th ACM/IEEE, Design Automation Conference.Proceedings 1988. - Anaheim, CA, USA (12-15 June 1988)] 25th ACM/IEEE, Design Automation Conference.Proceedings 1988. - Verification of VHDL designs using VAL
Augustin, L.M., Gennart, B.A., Huh, Y., Luckham, D.C., Stanculescu, A.G.Year:
1988
DOI:
10.1109/dac.1988.14733
File:
PDF, 471 KB
1988