Cover Image

Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Bibliographic Details
Corporate Authors: IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium, Interuniversity Micro-Electronics Center
Other Authors: Claesen, Luc J. M.
Format: Conference Proceeding Book
Language:English
Published: Amsterdam ; New York : North-Holland ; 1990.
Series:VLSI design methods ; 1.
Subjects:
Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses.
Computer-aided design > Congresses.
Integrated circuits > Very large scale integration > Testing > Congresses.
Description
Physical Description:xv, 414 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references.
ISBN:044488372X (U.S.)