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.