Image from Amazon.com
Formal specification and verification in VLSI design / Bruce S. Davie. [Book].
Material type:
TextSeries: Edinburgh information technology series ; 8Publication details: Edinburgh : Edinburgh University Press, 1990. Description: ix, 195 p. : ill. ; 23 cmISBN: 0748601597Subject(s): Integrated circuits -- Verification | Integrated circuits -- Very large scale integration -- Computer-aided designOther classification: TK7874 DAV
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
General Collection
|
Universiti Teknologi Brunei Library | TK7874 DAV c.1 (Browse shelf(Opens below)) | Available | Reg no. 23867_ITB | 810539 |
Includes bibliographical references (p. 184-193) and index.
There are no comments on this title.