The Community for Technology Leaders
Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
ISBN: 0-8186-0864-1
pp: 708-711
Lathrop , Artificial Intelligence Lab., MIT, Cambrdige, MA, USA
Hall , 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.
INDEX TERMS
model extraction, LISP to C translation, functional abstraction, FUNSTRUX, behavioral-level models, commercial simulator, circuit netlist, retargetable code generation mechanism, object-oriented control structure, initialization values, functional paradigm
CITATION

Kirk, Duffy, Hall, Lathrop and Alexander, "Advances in functional abstraction from structure," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 708-711.
doi:10.1109/DAC.1988.14847
88 ms
(Ver 3.3 (11022016))