Logic programming and digital circuit analysis

DOI10.1016/0743-1066(87)90022-7zbMATH Open0617.94014OpenAlexW2036800932MaRDI QIDQ3754570FDOQ3754570

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Cited In (12)

• On the comparison of HOL and Boyer-Moore for formal hardware verification
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic-based approach to polymer sequence analysis
• 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)