Application of BDDs in Boolean matching techniques for formal logic combinational verification

DOI10.1007/S100090100039zbMath1002.68581OpenAlexW100574688WikidataQ126576497 ScholiaQ126576497MaRDI QIDQ1606811

Paul Molitor, Janett Mohnke, Sharad Malik

Publication date: 25 July 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100039

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)

This page was built for publication: Application of BDDs in Boolean matching techniques for formal logic combinational verification