Logic programming and digital circuit analysis
- 31 March 1987
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 4 (1), 59-82
- https://doi.org/10.1016/0743-1066(87)90022-7
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Functional programmingPublished by Elsevier ,1991
- Automatic determination of signal flow through MOS transistor networksIntegration, 1986
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985
- Verify: A program for proving correctness of digital hardware designsArtificial Intelligence, 1984
- Test generation through logic programmingIntegration, 1984
- Optimization by Simulated AnnealingScience, 1983
- Crystal: A Timing Analyzer for nMOS VLSI CircuitsPublished by Springer Nature ,1983
- Consistency in networks of relationsArtificial Intelligence, 1977