Proceedings:
Book One
Volume
Issue:
Proceedings of the AAAI Conference on Artificial Intelligence, 3
Track:
Knowledge Representation and Problem Solving
Downloads:
Abstract:
VERIFY is a PROLOG program that attempts to prove the correct-ness 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 in-volving many thousands of transistors.
AAAI
Proceedings of the AAAI Conference on Artificial Intelligence, 3