AAAI Conference 1987 Conference Paper
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits
- Robert J. Hall
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 tempera) reasoning for composition and simplification, another supports simulation, and a third helps to partition the translation problem. A working prototype, FUNSTRUX, is described. ’