EMAX - An automatic extractor of high-level error models

Thzs paper presents E M A Y , a Hzgh-Level Error Model Automatzc Extractor EMAX szmulates all user-selected, low-level faults (at the gate and/or the swztch level) that may occur tmzde a procebsor chzp, and generates the error output patterns produced by the faulty czrcuzts. These generated patterns are used to extract hzgh-level error models. LVhen these error models are further analyzed, a sequence of znstructzons can be derzved whzch, when executed, produce the same error patterns as those obtatned when szmulatzng the hardware wzth low level faults When thzs sequence of znstructzons zs fed to a software fault and error znjectzon tool, zt wtll allow the use of accurate and c o ~ t effectzve hzgher level fault/error znlectzon patterns for ualtdatzng the dependabzlzty propertzes of a system. Error models extracted for an example processor are preserlted and are analyzed K e y w o r d s fault szmulatzon, hardware engzne, error model, fault znlectzon, dependabtlzty propertzes