Logic programming and digital circuit analysis

DOI10.1016/0743-1066(87)90022-7zbMath0617.94014OpenAlexW2036800932MaRDI QIDQ3754570

William F. Clocksin

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0743-1066(87)90022-7

zbMATH Keywords

logic programmingdesign automationgate assignmentdetermination of signal flowdirectly executable specifications of circuitsreasoning about electrical circuits

Mathematics Subject Classification ID

Related Items (3)

A logic-based approach to polymer sequence analysis ⋮ On the comparison of HOL and Boyer-Moore for formal hardware verification ⋮ Constraint satisfaction using constraint logic programming

This page was built for publication: Logic programming and digital circuit analysis