ML Anthology

A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits

Robert J. Hall, Richard H. Lathrop, Robert S. Kirk
AAAI 1987 pp. 799-803
/aaai/1987/hall1987aaai-multiple/

Abstract

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.

PDF AAAI Semantic Scholar

Cite

Text

Hall et al. "A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits." AAAI Conference on Artificial Intelligence, 1987.

Markdown

[Hall et al. "A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits." AAAI Conference on Artificial Intelligence, 1987.](https://mlanthology.org/aaai/1987/hall1987aaai-multiple/)

BibTeX

@inproceedings{hall1987aaai-multiple,
  title     = {{A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits}},
  author    = {Hall, Robert J. and Lathrop, Richard H. and Kirk, Robert S.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {799-803},
  url       = {https://mlanthology.org/aaai/1987/hall1987aaai-multiple/}
}