Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques

DOI10.1109/TC.1985.1676600MaRDI QIDQ3682397zbMATH OpenOpenAlexFDO

Authors 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 logicdesign automationlogic designautomated synthesis of combinational logic

Mathematics Subject Classification ID

Recommendations

• A Logic Programming Framework for Combinational Circuit Synthesis
• scientific article; zbMATH DE number 2185688
• Automated theorem proving and logic programming: a natural symbiosis
• scientific article; zbMATH DE number 4117898
• Automated theorem proving for Łukasiewicz logics
• scientific article; zbMATH DE number 978243
• scientific article; zbMATH DE number 474729
• scientific article; zbMATH DE number 1127072
• Automatic Combinability of Rewriting-Based Satisfiability Procedures

Cited in

(6)

• scientific article; zbMATH DE number 4076679 (Why is no real title available?)
• Advanced AI search techniques in modern digital circuit synthesis
• scientific article; zbMATH DE number 52483 (Why is no real title available?)
• Logic synthesis method for power dissipation reduction in combinational digital circuits
• A Logic Programming Framework for Combinational Circuit Synthesis
• Design-as-satisfiability: A new approach to automated synthesis

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3682397)