Browse Prior Art Database

Embedding Model Identification in Executable Instructions

IP.com Disclosure Number: IPCOM000103197D
Original Publication Date: 1990-Aug-01
Included in the Prior Art Database: 2005-Mar-17
Document File: 1 page(s) / 35K

Publishing Venue

IBM

Related People

Becker, MG: AUTHOR [+3]

Abstract

Disclosed is a method for embedding the model identification in the executable of a hardware simulation engine. In a simulation environment, the model is an instruction stream that, when executed, generates a simulation of some entity. This model is built by a compiler from some source which is the definition of the design to be tested. As the design changes, new models are built and tested and each model is given a unique name to distinguish it from others. By embedding the model name (and any other identifying data) in the executable, it is guaranteed to stay with the model. If the model name is carried in the file name or another file, the loaded instructions stream cannot be tested to verify its source. This is especially important when the simulation control program and the model are separate entities.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 100% of the total text.

Embedding Model Identification in Executable Instructions

      Disclosed is a method for embedding the model identification in
the executable of a hardware simulation engine.  In a simulation
environment, the model is an instruction stream that, when executed,
generates a simulation of some entity. This model is built by a
compiler from some source which is the definition of the design to be
tested.  As the design changes, new models are built and tested and
each model is given a unique name to distinguish it from others.  By
embedding the model name (and any other identifying data) in the
executable, it is guaranteed to stay with the model.  If the model
name is carried in the file name or another file, the loaded
instructions stream cannot be tested to verify its source.  This is
especially important when the simulation control program and the
model are separate entities.  If the simulation control program might
load different models at different times, the currently loaded model
can always be identified.  This saves model reload time and adds a
level of verification control.  If the model is modified after being
loaded, the name should be changed to indicate that it does not match
the source.

      Disclosed anonymously.