Connection Semantics in MHDL

This report describes connection semantics for the emerging MIMIC Hardware Description Language (MHDL). The constructs and functional representations within this language have implications for operation of an underlying analog simulator used for simulating the design descriptions. Thus the semantics provide guidelines on interpreting various language model constructs and interconnections from the simulation standpoint. It is assumed that the program has the ability to carry out the desired operations and analyses implied in the models and their interconnection as permitted by MHDL. To handle these operations, a set of operational semantics must be defined along with simulation algorithms. The models can be defined in different domains having different views. The key issue in this report is that of the transformations needed from one view to another and the methods used to perform the desired analysis. 1 INTRODUCTION Recently there has been an increased amount of activity in defining l..