Document Type
Technical Report
Publication Date
1990-03-23
Technical Report Number
WUCS-89-54
Abstract
A novel process algebra is presented; algebraic expressions specify delay-insensitive circuits in terms of voltage-level transitions on wires. The approach appears to have several advantages over traditional state-graph and production-rule based methods. The wealth of algebraic laws makes it possible to specify circuits concisely and facilitates the verification of designs. Individual components can be composed into circuits in which signals along internal wires are hidden from the environment.
Recommended Citation
Josephs, Mark B. and Udding, Jan Tijmen Washington University in St. Louis, "An Algebra for Delay-Insensitive Circuits" Report Number: WUCS-89-54 (1990). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/908
Comments
Permanent URL: http://dx.doi.org/10.7936/K7PV6HRD