AFMG: automatic functional model generation system for digital simulation

This paper presents an automatic program synthesis system which generates models for digital simulators. Behavioral and structural models are generated from Boolean equations, truth tables, HDL descriptions or schematic diagrams. This system provides an efficient method for automatic model development. As a result, the design cycles can be significantly reduced.<
>