A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits
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 simu...
| Main Authors: | , , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/5594 |
| _version_ | 1811090256446881792 |
|---|---|
| author | Hall, Robert J. Lathrop, Richard H. Kirk, Robert S. |
| author_facet | Hall, Robert J. Lathrop, Richard H. Kirk, Robert S. |
| author_sort | Hall, Robert J. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T14:40:02Z |
| id | mit-1721.1/5594 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T14:40:02Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/55942019-04-12T08:26:37Z A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits Hall, Robert J. Lathrop, Richard H. Kirk, Robert S. multiple representation temporal reasoning event-basedssimulation digital circuits simplification behavioral models 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. 2004-10-01T20:10:28Z 2004-10-01T20:10:28Z 1987-05-01 AIM-967 http://hdl.handle.net/1721.1/5594 en_US AIM-967 14 p. 1960780 bytes 1514249 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | multiple representation temporal reasoning event-basedssimulation digital circuits simplification behavioral models Hall, Robert J. Lathrop, Richard H. Kirk, Robert S. A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits |
| title | A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits |
| title_full | A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits |
| title_fullStr | A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits |
| title_full_unstemmed | A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits |
| title_short | A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits |
| title_sort | multiple representation approach to understanding the time behavior of digital circuits |
| topic | multiple representation temporal reasoning event-basedssimulation digital circuits simplification behavioral models |
| url | http://hdl.handle.net/1721.1/5594 |
| work_keys_str_mv | AT hallrobertj amultiplerepresentationapproachtounderstandingthetimebehaviorofdigitalcircuits AT lathroprichardh amultiplerepresentationapproachtounderstandingthetimebehaviorofdigitalcircuits AT kirkroberts amultiplerepresentationapproachtounderstandingthetimebehaviorofdigitalcircuits AT hallrobertj multiplerepresentationapproachtounderstandingthetimebehaviorofdigitalcircuits AT lathroprichardh multiplerepresentationapproachtounderstandingthetimebehaviorofdigitalcircuits AT kirkroberts multiplerepresentationapproachtounderstandingthetimebehaviorofdigitalcircuits |