Experience with embedding hardware description languages in HOL (1992)

by R Boulton, A Gordon, M Gordon, J Harrison, J Herbert, J Van-Tassel
Venue:Theorem Provers in Circuit Design