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.0024 seconds