Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
Lathrop , Artificial Intelligence Lab., MIT, Cambrdige, MA, USA
Hall , Artificial Intelligence Lab., MIT, Cambrdige, MA, USA
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.
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
Kirk, Duffy, Hall, Lathrop and Alexander, "Advances in functional abstraction from structure," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 708-711.