Skip to main content
PBS logo
 
 

Search - Formal Specification and Verification in VIsi Design (Edinburgh Information Tech (Edinburgh Information Technology Series, 8)

Formal Specification and Verification in VIsi Design (Edinburgh Information Tech (Edinburgh Information Technology Series, 8)
Formal Specification and Verification in VIsi Design - Edinburgh Information Tech Edinburgh Information Technology Series, 8
Author: Bruce S. Davie
This volume describes an approach to computer hardware design based on behavioural hardware description languages, which enable a designer to be confident of a design's suitability at every stage of the process. The text uses examples ranging in complexity from logic gates to the small computer, and examines the issues related to the writing of ...  more »
ISBN-13: 9780748601592
ISBN-10: 0748601597
Publication Date: 5/20/1991
Pages: 195
Rating:
  ?
0 stars, based on 0 rating
Publisher: Edinburgh University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.