Experience with embedding hardware description languages in HOL (1992)

Cached

Download Links

by Richard Boulton , Andrew Gordon , Mike Gordon , John Harrison , John Herbert , John Van Tassel
Venue:Theorem Provers in Circuit Design
Citations:38 - 4 self