• DocumentCode
    3556419
  • Title

    Advances in functional abstraction from structure

  • Author

    Lathrop, Richard H. ; Hall, Robert J. ; Duffy, Gavan ; Alexander, K. Mark ; Kirk, Robert S.

  • Author_Institution
    Artificial Intelligence Lab., MIT, Cambrdige, MA, USA
  • fYear
    1988
  • fDate
    12-15 June 1988
  • Firstpage
    708
  • Lastpage
    711
  • Abstract
    FUNSTRUX has been extended to extract behavioral-level models for a commercial simulator directly from a circuit netlist. Recent advances include a retargetable code generation mechanism, an object-oriented control structure, handling of initialization values, and improved run-time and space requirements of the abstraction process. The authors discuss some of the issues that arise in translating from Lisp to C and from one functional paradigm to another.<>
  • Keywords
    circuit analysis computing; FUNSTRUX; LISP to C translation; behavioral-level models; circuit netlist; commercial simulator; functional abstraction; functional paradigm; initialization values; model extraction; object-oriented control structure; retargetable code generation mechanism; Algebra; Artificial intelligence; Automatic generation control; Circuit simulation; Computational modeling; Equations; Kirk field collapse effect; Laboratories; Object oriented modeling; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 1988. Proceedings., 25th ACM/IEEE
  • Conference_Location
    Anaheim, CA, USA
  • ISSN
    0738-100X
  • Print_ISBN
    0-8186-0864-1
  • Type

    conf

  • DOI
    10.1109/DAC.1988.14847
  • Filename
    14847