Design verification of digital systems based on logic programming

DOI10.1016/0045-7906(90)90018-BzbMATH Open0723.68027OpenAlexW2080239144MaRDI QIDQ757030FDOQ757030

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Logic programming and digital circuit analysis
• Title not available (Why is that?)
• 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)