4475574
9780471935360
Examines the theory & design of self-timed systems. The logical design of self-timed circuits (STCs) provides a focal point for, on the one hand, those interested in formal models of parallel computation and, on the other, hardware designers. The approach taken by the authors is to address general issues concerning the very nature of concurrency, as well as to demonstrate the particular features of asynchronous design. The book presents formal models of the specification & verification of parallel processes & describes methods for self-timed circuit synthesis & analysis. It is augmented by a demonstration-version of a CAD system called FORCAGE which consists of subsystems of behavior verification, self-timed circuit analysis & synthesis. The system can be run on a PC.Kishinevsky, M. is the author of 'Concurrent Hardware: The Theory and Practice of Self-Timed Design - M. Kishinevsky - Hardcover' with ISBN 9780471935360 and ISBN 0471935360.
[read more]