Workshop Report: Methods of Verification in Design Automation
Author :
Russo, Roy L.
Author_Institution :
IBM
Volume :
9
Issue :
4
fYear :
1976
fDate :
4/1/1976 12:00:00 AM
Firstpage :
54
Lastpage :
55
Abstract :
The 1975 Design Automation Workshop was held at Michigan State University last October 8-10, under the co-sponsorship of the IEEE Computer Society Technical Committees on Design Automation and Fault Tolerant Computing.
