Abstract: Design information representing an electrical circuit is received and an electrical circuit condition requiring test is identified. A design verification test is determined, and evaluated for effectiveness in exercising the identified electrical circuit condition. Electrical circuit conditions include faults such as speed paths, races, coupling events, noise events, and voltage and temperature sensitivities.

Abstract: An emulating agent and method is provided that receives numbers having si, exponents and significands of varying lengths and possibly configured in a variety of incompatible formats and to reformat the numbers into a standard uniform format for uniform arithmetic computations in processors operating with different architectures. In one embodiment, the emulating agent has a three-field superset register configured to receive the sign of a number in a first field, the exponent of a number in a second field and the significand of a number in a third field, regardless of the original format of the number, resulting in a number represented in a standard uniform format for computation. The embodiment also allows high level access to the fields to allow users to control the size of the numbers inserted into the fields.