A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A formal approach to designing delay-insensitive circuits
1991
Distributed computing
A method for designing delay-insensitive circuits is presented based on a simple formalism. The communication behavior of a circuit with Its envlronmenf is speclfied by a regular expresslon-llke program. Based on formal manipulations this program is then transformed into a delay·insensltlve connection of basic elements realizing the specified circuit. The notion 01 delay-lnsensitlvlty Is concisely formalized.
doi:10.1007/bf02252954
fatcat:txndagpemvghrchrcoa2ee274m