Formal specification and verification of digital systems /
George Milne.

Description

Tools

Cite this Export citation file

Main Author: Milne, George J., 1952-
Language(s): English
Published: London ; McGraw-Hill, c1994.
Subjects: Computer hardware description languages.
Integrated circuits > Integrated circuits / Verification.
Digital integrated circuits > Digital integrated circuits / Design and construction > Digital integrated circuits / Design and construction / Data processing.
Physical Description: xiv, 240 p. : ill. ; 24 cm
ISBN: 007707811X :
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of Michigan

View HathiTrust MARC record

Similar Items

Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K.

Author: Edinburgh Workshop on VLSI (1985)
Published: 1986

The fusion of hardware design and verification : proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4-6 July, 1988

Author: IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification (1988 : Glasgow, Scotland)
Published: 1988

SHR

Author: Southern Humanities Council.
Published: 1996

Dancers of Bali

Author: Coast, John.
Published: 1991

The taipans : Hong Kong's merchant princes

Author: Crisswell, Colin N
Published: 1991

Woman's life in colonial days

Author: Holliday, Carl, 1879-1936.
Published: 1990

The tournament

Author: Savage, Georgia.
Published: 1993

Cloudy mountains : Kao Kʻo-kung (1248-1310) and the Mi tradition

Author: Brizendine, Curtis Hansman.
Published: 1992

Renal physiology

Author: Windhager, Erich E.
Published: 1992

Report to Governor and General Assembly on the use of emerging investment managers

Author: State Universities Retirement System of Illinois.
Published: 1990