A formal approach to designing delay-insensitive circuits

Jo C. Ebergen
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