Formal Specification and Verification in VIsi Design (Edinburgh Information Tech (Edinburgh Information Technology Series, 8)
Publisher: Edinburgh University Press
Published: May 20, 1991
Language: eng
Format: Hardcover
Number of pages: 195
ISBN-13: 9780748601592
Subjects: Storage media & peripherals; Systems analysis & design; Verification; Digital Computer Hardware; Very-Large-Scale Integration (Vlsi); Computers - General Information; Logic Design; Very large scale integration; Computers / Educational Software / General; Computer-aided design; Integrated circuits; Computer Bks - General Information