ML Anthology

Proving the Correctness of Digital Hardware Designs

Harry G. Barrow
AAAI 1983 pp. 17-21
/aaai/1983/barrow1983aaai-proving/

Abstract

VERIFY is a PROLOG program that attempts to prove the correctness of a digital design. It does so by showing that the behavior inferred from the interconnection of its parts and their behaviors is equivalent to the specified behavior. It has successfully verified large designs involving many thousands of transistors.

PDF AAAI Semantic Scholar

Cite

Text

Barrow. "Proving the Correctness of Digital Hardware Designs." AAAI Conference on Artificial Intelligence, 1983.

Markdown

[Barrow. "Proving the Correctness of Digital Hardware Designs." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/barrow1983aaai-proving/)

BibTeX

@inproceedings{barrow1983aaai-proving,
  title     = {{Proving the Correctness of Digital Hardware Designs}},
  author    = {Barrow, Harry G.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {17-21},
  url       = {https://mlanthology.org/aaai/1983/barrow1983aaai-proving/}
}