Model-validation
How do we trust that our x86 ISA model is faithful to the
real machine?
A past version of this model was validated in app-view with
cosimulation using tools internal to Centaur Technology. See the graphic bellow:
This validation system was lost to history. To debug the model while
attempting to boot Linux on it, we built a new validation system that works
similarly, but works in the system-view and is built on opensource tools.
For more information see virtualization-for-validation
Subtopics
- Virtualization-for-validation
- Validating the model by comparing its behavior with a virtual
machine
- Dynamic-instrumentation
- Utilities to instrument a program run on the model
