Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques

DOI10.1109/TC.1985.1676600zbMATH Open0566.94018OpenAlexW1956801889MaRDI QIDQ3682397FDOQ3682397

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

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

zbMATH Keywords

multivalued logicdesign automationlogic designautomated synthesis of combinational logic

Mathematics Subject Classification ID

Cited In (6)

• Title not available (Why is that?)
• Advanced AI search techniques in modern digital circuit synthesis
• Title not available (Why is that?)
• 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)