Title

An Algebra for Delay-Insensitive Circuits

Authors

Mark B. Josephs, Washington University in St. Louis
Jan Tijmen Udding Washington University in St. Louis

Document Type

Technical Report

Publication Date

1990-03-23

Filename

WUCS-89-54.pdf

DOI:

10.7936/K7PV6HRD

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.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7PV6HRD

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