Browsing AI Memos (1959 - 2004) by Author "Hall, Robert J."
Now showing items 1-2 of 2
-
A Fully Abstract Semantics for Event-Based Simulation
Hall, Robert J. (1987-05-01)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 ... -
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits
Hall, Robert J.; Lathrop, Richard H.; Kirk, Robert S. (1987-05-01)We put forth a multiple representation approach to deriving the behavioral model of a digital circuit automatically from its structure and the behavioral simulation models of its components. One representation supports ...