A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits
Robert J. Hall, Richard H. Lathrop, Kirk, Robert S. · DSpace@MIT (Massachusetts Institute of Technology) · 1987
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 temporal reasoning for composition and amplification, another supports simulation and a third helps to partition the translation problem. A working prototype, FUNSTRUX, is described.