Tassel. Experience with Embedding Hardware Description Language in HOL (1992)

by R Boulton, A Gorgon, M J C Gordon, J Hebert, J van
Venue:In Proc. of the International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience