Introduction to a Formally Defined Hardware Description Language (1992)

by W D Young
Venue:In Theorem Provers in Circuit Designs, Number A10 in IFIP Transactions