A Description Methodology for Parameterized Modules in the Boyer-Moore Logic

• Authors:

• Diederik Verkest;J. Vandenbergh;Luc J. M. Claesen;Hugo De Man

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
• Year:
• 1992