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.0021 seconds