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
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;
Conference_Titel :
Design Automation Conference, 1988. Proceedings., 25th ACM/IEEE
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-8186-0864-1
DOI :
10.1109/DAC.1988.14847
