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.
Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/5594 |
Date | 01 May 1987 |
Creators | Hall, Robert J., Lathrop, Richard H., Kirk, Robert S. |
Source Sets | M.I.T. Theses and Dissertation |
Language | en_US |
Detected Language | English |
Format | 14 p., 1960780 bytes, 1514249 bytes, application/postscript, application/pdf |
Relation | AIM-967 |
Page generated in 0.0015 seconds