et al. Experience with embedding hardware description languages in HOL (1992)

by Richard Boulton, Andrew Gordon
Venue:Theorem Provers in Circuit Design: Theory, Practice and Experience