Papers from the March 1996 symposium detail the latest knowledge in asynchronous hardware design, in sections on high-speed design; logic synthesis; architectural synthesis; formal methods; novel techniques; design automation and measurements; low power and system design; and logic optimization. The"

Papers from the April 1993 conference. Topics include analysis tools, formal verification, metatestability, performance comparisons of asynchronous adders, power and interfacing, formal methods, and testing. Includes an extended industrial design example of a counterflow pipeline processor. No index. Annotation copyright by Book News, Inc., Portland, OR

Contains papers from an April 2000 symposium, coming from a mixture of industrial and academic origins. Papers are arranged in sections on theory and verification techniques, asynchronous design in embedded systems, testability, synthesis, arbitration and circuit techniques, processor design, and pushing the performance limit. Specific topics include composing snippets, applying asynchronous circuits in contactless smart cards, high-level asynchronous system design using the ACK framework, priority arbiters, an instruction buffer for a low-power DSP, and low-latency asynchronous FIFOs using token rings. Lacks a subject index.