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.