Logic programming and digital circuit analysis

DOI10.1016/0743-1066(87)90022-7MaRDI QIDQ3754570zbMATH OpenOpenAlexFDO

Authors William F. Clocksin

Publication date 1987

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(87)90022-7

zbMATH Keywords

logic programmingdesign automationgate assignmentdetermination of signal flowdirectly executable specifications of circuitsreasoning about electrical circuits

Mathematics Subject Classification ID

Recommendations

• Publication:4888830
• scientific article; zbMATH DE number 1848368
• A Logic Programming Framework for Combinational Circuit Synthesis
• scientific article; zbMATH DE number 4039252
• scientific article; zbMATH DE number 194888
• Programs and logics
• Synthesis and analysis of digital circuits
• Design verification of digital systems based on logic programming

Cited in

(12)

• On the comparison of HOL and Boyer-Moore for formal hardware verification
• scientific article; zbMATH DE number 4162324 (Why is no real title available?)
• Synthesis and analysis of digital circuits
• AUNT: A Universal netlist translator
• On an approach to logical simulation bidirectional circuits
• A Logic Programming Framework for Combinational Circuit Synthesis
• Logic Gates, Circuits, Processors, Compilers and Computers
• scientific article; zbMATH DE number 4059296 (Why is no real title available?)
• scientific article; zbMATH DE number 4039252 (Why is no real title available?)
• A logic-based approach to polymer sequence analysis
• scientific article; zbMATH DE number 1941089 (Why is no real title available?)
• Constraint satisfaction using constraint logic programming

This page was built for publication: Logic programming and digital circuit analysis

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