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. |