Experience with embedding hardware description languages in HOL (1992)

by Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel
Venue:Theorem Provers in Circuit Design