Design verification as part of development provides an opportunity to correct design errors, improve performance characteristics, and optimize hardware. This paper presents the strategy and an overview of the verification performed in the development of a VLSI VAX microcomputer. Using a hierarchical methodology for simulation and verification, the logic design and circuit design have been verified.
/lp/association-for-computing-machinery/design-verification-of-a-vlsi-vax-microcomputer-HcKpFcsISJ