Incremental design and formal verification of microcoded microprocessors (1992)

by John Herbert
Venue:Theorem Provers in Circuit Design, Proceedings of the IFIP WG 10.2 International Working Conference