Format:
1 Online-Ressource (251 pages)
ISBN:
0769500315
,
9780769500317
Content:
Proceedings of an April 1999 symposium, with sections on verification techniques, low power/noise, microprocessor design, synchronous/asynchronous trade-offs in industrial applications, timing analysis, synthesis, arbitration, pushing the performance limit, and theory. Subjects include memory faults in asynchronous microprocessors, symbolic time separation of events, a synthesis technique for concurrent systems, real-time merging, theoretical limits on the data dependent performance of asynchronous circuits, and analysis and applications of the XDI model. No index. Annotation copyrighted by Book News, Inc., Portland, OR
Note:
Zielgruppe - Audience: Scholarly & Professional
Language:
English
Keywords:
Konferenzschrift
