An Overview of the Design and Verification Subsystem of the Engineering Design System
L.N. Dunn · 20th Design Automation Conference Proceedings · 1983
The Engineering Design System is the base for design automation in IBM. Its newest addition is the design and verification subsystem (DAV). DAV has been designed to meet the future demands of very large scale integration (VLSI) for designer productivity and design correctness.