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

application of AI conceptsapplications of software techniqueshardware description toolsPrologverification process

Mathematics Subject Classification ID

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

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

(5)

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

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)