Using logic programming and coroutining for electronic CAD

DOI10.1016/0743-1066(95)00099-2MaRDI QIDQ3128638zbMATH OpenOpenAlexWikidataFDO

Authors Ulrich Bieker, Andreas Neumann

Publication date 17 April 1997

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

Full work available at URL https://doi.org/10.1016/0743-1066(95)00099-2

zbMATH Keywords

computer hardware description languageelectronic CAD toolsProlog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic programming and digital circuit analysis
• Design verification of digital systems based on logic programming
• scientific article; zbMATH DE number 4162324
• Simulation of hybrid circuits in constraint logic programming
• scientific article; zbMATH DE number 1941089

Cited in

(5)

• AUNT: A Universal netlist translator
• scientific article; zbMATH DE number 4162324 (Why is no real title available?)
• scientific article; zbMATH DE number 1941089 (Why is no real title available?)
• scientific article; zbMATH DE number 1902048 (Why is no real title available?)
• Design verification of digital systems based on logic programming

Describes a project that uses

Uses Software

• MIMOLA
• TREEMOLA

This page was built for publication: Using logic programming and coroutining for electronic CAD

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