Abstract: A method and apparatus for soft error comparison testing of electronic components exposed to a flux of high energy particles, while providing for simultaneous comparison testing of different components at full rated operating speed, and providing for programmable control of level of the supply voltage applied to the components. Included a method and apparatus for simultaneously exposing electronic components to a flux of high energy particles, operating the components, and simultaneously measuring soft errors of the components induced by the flux of high energy particles.

Abstract: Synchronization of an architectural model of a computer architecture and a behavioral model of an implementation of the architecture for functional verification of the implementation. A communication channel is established between the two models through which simulation control and state information can be communicated and both models are available for simulating. Synchronization points in the models' executions are identified, and a synchronizer is implemented which instructs each model to simulate to a synchronization point and report relevant state information. The synchronizer can also verify state information from the two models in real time, flag errors, or instruct the architectural model to modify its state either to match known errors in the behavioral model or to match correct behavior to an asynchronous event.