Concurrent Hardware: The Theory and Practice of Self-timed Design

כריכה קדמית
Wiley, 8 בדצמ׳ 1993 - 388 עמודים
0 ביקורות
Examines the theory and design of self-timed systems. The logical design of self-timed circuits (STCs) provides a focal point for, on the one hand, those interested in formal models of parallel computation and, on the other, hardware designers. The approach taken by the authors is to address general issues concerning the very nature of concurrency, as well as to demonstrate the particular features of asynchronous design. The book presents formal models of the specification and verification of parallel processes and describes methods for self-timed circuit synthesis and analysis. It is augmented by a demonstration-version of a CAD system called FORCAGE which consists of subsystems of behavior verification, self-timed circuit analysis and synthesis. The system can be run on a PC.

מתוך הספר

מה אומרים אנשים - כתיבת ביקורת

לא מצאנו ביקורות במקומות הרגילים

תוכן

Models for a Specification of Parallel Processes
1
Verification of Parallel System Behavior
35
Relationship Between the State and Eventbased Models
59
זכויות יוצרים

9 קטעים אחרים שאינם מוצגים

מונחים וביטויים נפוצים

הפניות לספר זה

כל תוצאות חיפוש הספרים »

מידע ביבליוגרפי