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

Document Versions

Experience with embedding hardware description languages in HOL –Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel — 1992 — Theorem Provers in Circuit Design
Experience with embedding hardware description languages in HOL –Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel — 1992 — Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference