Design verification of digital systems based on logic programming

DOI10.1016/0045-7906(90)90018-BzbMath0723.68027OpenAlexW2080239144MaRDI QIDQ757030

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

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

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