A Fully Abstract Semantics for Event-Based Simulation
Author(s)Hall, Robert J.
MetadataShow full item record
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.
event-based simulation, full abstraction, denotationalssemantics