Current trends in hardware verification and automated theorem proving
By: G. Birtwistle, P.A. Subrahmanyam, editors.
Contributors: Birtwistle, G. M.; Subrahmanyam, P. A.
Publisher: Springer-Verlag
Published: 1989
Place of publication: New York
Language: eng
Number of pages: 489
Subjects: Integrated circuits -- Very large scale integration -- Design and construction.; Automatic theorem proving.; Integrated circuits -- Verification.
Notes: Includes bibliographical references and index.