A formal approach to designing delay-insensitive circuits

@article{Ebergen1991AFA,
  title={A formal approach to designing delay-insensitive circuits},
  author={Jo C. Ebergen},
  journal={Distributed Computing},
  year={1991},
  volume={5},
  pages={107-119}
}
A method for designing delay-insensitive circuits is presented based on a simple formalism. The communication behavior of a circuit with its environment is specified by a regular expression-like program. Based on formal manipulations this program is then transformed into a delay-insensitive network of basic elements realizing the specified circuit. The notion of delay-insensitivity is concisely formalized. 
Highly Cited
This paper has 107 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 67 extracted citations

107 Citations

0510'92'98'05'12'19
Citations per Year
Semantic Scholar estimates that this publication has 107 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 27 references

Characterizations of delay - insensitive communication protocols

T Verhoeff
Comput Sci Notes • 1989

Micropipelines

IE Sutherland
Commun ACM • 1989

Programming in VLSI : from communicating processes to delay - insensitive circuits

A Martin
Hoare CAR ( ed ) Developments in concurrency and communication . UT year of programming institute on concurrent programming • 1989

VLSI programming and silicon complication : a novel approach from Philips Research

Berkel CH van, C Niessen, M Rem, R Saeijs
IEEE Computer Society , Proceedings of IEEE International Conference on Computer Design • 1988

Similar Papers

Loading similar papers…