Modeling a Hardware Synthesis Methodology in Isabelle

• 1 January 1999
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 15  (2) , 99-122
• https://doi.org/10.1023/a:1008758500273

Abstract

Keywords

• CIRCUIT
• FORMAL SYNTHESIS
• MODELING
• HIGHER ORDER
• PROOF
• ISABELLE
• SYNTHESIS IS A METHODOLOGY