This paper shows that, provided circuits contain no zero-delay loops, a tight relationship, full abstraction, exists between a natural event-based operational semantics for circuits and a natural denotational semantics for circuits based on causal functions on value timelines. The paper also discusses what goes wrong if zero-delay loops are allowed, and illustrates the application of this semantic relationship to modeling questions.
Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/5592 |
Date | 01 May 1987 |
Creators | Hall, Robert J. |
Source Sets | M.I.T. Theses and Dissertation |
Language | en_US |
Detected Language | English |
Format | 17 p., 2325461 bytes, 912315 bytes, application/postscript, application/pdf |
Relation | AIM-966 |
Page generated in 0.0438 seconds