Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques

DOI10.1109/TC.1985.1676600zbMath0566.94018OpenAlexW1956801889MaRDI QIDQ3682397

Waldo C. Kabat, Anthony S. Wojcik

Publication date: 1985

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.1985.1676600

zbMATH Keywords

multivalued logiclogic designdesign automationautomated synthesis of combinational logic

Mathematics Subject Classification ID

This page was built for publication: Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques