An Abstract Machine Data Structure For Non-Procedural Functional Models
Robert V. Zara, Kevin C. Rose, Ghulam Nurie, Harish Sarin · Design Automation Conference · 1985
This paper discusses the implementation of a non-procedural functional modeling language (FML). It describes a compiler, an abstract machine builder, an abstract machine evaluator, and a host simulator interface, which are connected through object-oriented interfaces. The abstract machine contains a representation of the electrical semantics of FML models as well as its compiled code. An event driven logic simulator paradigm is used in its evaluation. The design of the FML compiler is outlined, along with the simulator/FML execution module interface.