Advances in functional abstraction from structure

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.<>