Design verification of digital systems based on logic programming

DOI10.1016/0045-7906(90)90018-BMaRDI QIDQ757030zbMATH OpenOpenAlexFDO

Authors Yoheved Dotan, Benjamin Arazi

Publication date 1990

Published in Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0045-7906(90)90018-b

zbMATH Keywords

Prologapplication of AI conceptsapplications of software techniqueshardware description toolsverification process

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Using logic programming and coroutining for electronic CAD
• Logic programming and digital circuit analysis
• scientific article; zbMATH DE number 868104
• scientific article; zbMATH DE number 3956408
• scientific article; zbMATH DE number 1941089

Cited in

(4)

• scientific article; zbMATH DE number 516980 (Why is no real title available?)
• Logic programming and digital circuit analysis
• scientific article; zbMATH DE number 1941089 (Why is no real title available?)
• Specification and initialization of a logic computer system

This page was built for publication: Design verification of digital systems based on logic programming

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