Publisher's Synopsis
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 inclu