Accession Number : ADA190560
Title : A Fully Abstract Semantics for Event-Based Simulation.
Descriptive Note : Memorandum rept.,
Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
Personal Author(s) : Hall, Robert J
PDF Url : ADA190560
Report Date : May 1987
Pagination or Media Count : 19
Abstract : Event-based simulation is a popular technique for predicting the behavior of, among other things, digital circuits. On the other hand, applicative denotational formalisms, in which circuits are represented by functional equations with an explicit time variable, are becoming popular for other reasoning tasks. Before a system is to be use both approaches to modeling circuits, questions of semantic equivalence must be addressed. In particular, if two circuits are equivalent in one formalism, will they be equivalent in the other? What modeling restrictions are needed to bring this about? This paper shows that, provided circuits 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, an illustrates the application of this semantic relationship to modeling questions.
Descriptors : *DIGITAL SYSTEMS, *MODELS, *REASONING, *SEMANTICS, ABSTRACTS, CIRCUITS, EQUATIONS, FUNCTIONAL ANALYSIS, TIGHTNESS
Subject Categories : Psychology
Distribution Statement : APPROVED FOR PUBLIC RELEASE