An abstract machine data structure for non-procedural functional models

Authors:
Robert V. Zara;Kevin Rose;Ghulam Nurie;Harish Sarin
Affiliations:
CAE Systems, a Division of Tektronix, Inc., 1333 Bordeaux Drive, Sunnyvale, CA;CAE Systems, a Division of Tektronix, Inc., 1333 Bordeaux Drive, Sunnyvale, CA;CAE Systems, a Division of Tektronix, Inc., 1333 Bordeaux Drive, Sunnyvale, CA;CAE Systems, a Division of Tektronix, Inc., 1333 Bordeaux Drive, Sunnyvale, CA
Venue:
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Year:
1985

Citing 1
Cited 0

Building a layered database for design automation

DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.