Cohn paper on hardware verification

Victor Yodaiken (yodaiken@sphinx.nmt.edu)
Sun, 20 Nov 1994 17:06:06 -0700

Several people have asked for references.

@article{Cohn,
author={Avra Cohn },
title="The notion of proof in Hardware Verification",
journal="Journal of Automated Reasoning",
volume={5},
number={2},
year={1989},
page={127-140}
}

@incollection{Viper,
author={Avra Cohn },
title="A Proof of Correctness of the Viper Microprocessor: The First Level",
booktitle="VLSI Specification and Synthesis",
editor="Graham Birtwistle and P.A. Subrahmanyam",
publisher="Kluwer",
year={1988},
page={27-72}
}