Polynomial formal verification of multipliers

DOI10.1023/A:1021752130394zbMath1033.68075OpenAlexW3113354335MaRDI QIDQ1395674

D. Massart

Publication date: 1 July 2003

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021752130394

zbMATH Keywords

formal verificationequivalence checkingbackward constructioninteger multipliersmultiplicative binary moment diagrams

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

This page was built for publication: Polynomial formal verification of multipliers