User requirements for digital design verification simulators. - W. Werner; W. Minnick (Design Automation and Microprocessors, 1977)