Brock, Bishop C., Hunt, Warren A., Jr., and Young, William D., "Introduction to a formally defined hardware description language"
(1992)
[Proceedings] (1992)
Proceedings of the IFIP Conference on Theorem Provers in Circuit Design, June 1992
Languages mentioned
Brock-Hunt HDL
{1992}