Proving the Correctness of Digital Hardware Designs

Harry G. Barrow

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.