VLSI specification, verification, and synthesis
By: edited by Graham Birtwistle and P.A. Subrahmanyam.
Contributors: Birtwistle, G. M.; Subrahmanyam, P. A.
Series: The Kluwer international series in engineering and computer science ;; SECS 35
Publisher: Kluwer Academic Publishers
Published: 1988
Place of publication: Boston
Language: eng
Number of pages: 404
Subjects: Integrated circuits -- Very large scale integration -- Design and construction.; Integrated circuits -- Verification.
Notes: Includes bibliographies.
A collection of papers presented at a workshop held in Calgary, Canada, Jan. 12-16, 1987.