[ IBM Research ]
[ Home ] [ News ] [ Products & Services] [ Support ] [ Solutions ] [ Partners ] [ About IBM ]
Department overview
Homepage
Verification Background
General Structure
Genesys Experience
Genesys Features
Genesys Presentation
Screen Captures
Papers
FAQ
Feedback & Results
Contact Information


Research home
Employment
Genesys

> Back to Haifa Departments

General Structure

The Genesys system consists of four basic interacting components:
  • A generic, architecture-independent, test generator (the engine)
  • An external specification, which holds a formal description of the targeted architecture (the model)
  • A user interface
  • A behavioral simulator used to predict the results of the instruction execution.

The model-based nature of the tool enables test program generation for different processor architectures. The external model includes both a declarative description of the architecture and a database of Testing Knowledge. The Testing Knowledge incorporates the expertise and accumulated experience of the verification team and is used to create high quality testcases.



Genesys users can extend the modeled architecture through ClassMate, our database population tool. This user-controlled database allows users to modify/add instructions and Testing Knowledge.

Click for a slide show of Genesys screen captures

The output of the generator is a test file which consists of the following three sections: resource initialization, instruction sequence, and expected results. The resource initialization section defines the initial state of the processor. The generated test-case is passed to a design simulator which runs it and looks for violations of architectural requirements in the form of a mismatch between the expected results specified in the test-case and the actual results provided by the design simulator. The generated tests can also be run on hardware.


[ Privacy ] [ Legal ] [ Search ] [ Contact ]