Experimental validation of our axiomatic power model

In this note we describe the experimental process that confirms the equivalence of two models of the Power architecture.

• Description of experiments
  • Simulators
  • Base of tests
  • Experimental setting
• Tests given in submission
• Comparing models
  • Model output available for Axiom only
  • Model output available for Operational only
  • No model output
• Using a SAT solver
• Reference files
• Comparison of “T” models
  • Comparison of T0 and T1
  • Comparison of T1 and T2
• More simulator runs

This document was translated from L^AT_EX by H^EV^EA.