Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation - David L. Dill - Bøker - MIT Press Ltd - 9780262541572 - 17. mars 2003
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

David L. Dill

Pris
元 259

Bestillingsvarer

Forventes levert 7. - 15. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.

181 pages, Ill.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 17. mars 2003
ISBN13 9780262541572
Utgivere MIT Press Ltd
Antall sider 181
Mål 216 × 279 × 25 mm   ·   430 g
Språk Engelsk  

Se alt med David L. Dill ( f.eks. Pocketbok )