Automatic generation of behavioral simulation models using functional abstraction

FUNSTRUX is a prototype tool for exploring the automatic creation of behavioral-level simulation models from netlists. FUNSTRUX uses a process called functional abstractions, in which each circuit component is replaced with its behavioral model, expressed in a temporal (time-based) algebra produced directly from its simulation code. The algebraic equations modeling each circuit component are then substituted into each other according to the circuit netlist, and simplified according to the rules of temporal algebra to create a model for the circuit. This model is then transformed into computer program code. Because FUNSTRUX works only from the circuit netlist and component models according to mathematical and logical principles, the abstracted models are accurate in both the function and time domains. When compared with component-level simulations, the models produced by FUNSTRUX have identical behavior for the same simulation input patterns, but simulate faster