Details

Autor(en) / Beteiligte

• Castelnuovo, A.
• Fedeli, A.
• Fin, A.
• Fummi, F.
• Pravadelli, G.
• Rossi, U.
• Sforza, F.
• Toto, F.

Titel

A 1000X speed up for properties completeness evaluation

Ist Teil von

• Seventh IEEE International High-Level Design Validation and Test Workshop, 2002, 2002, p.18-22

Ort / Verlag

IEEE

Erscheinungsjahr

2002

Quelle

IEEE/IET Electronic Library (IEL)

Beschreibungen/Notizen

• Verification of circuit description by means of model checking means to write propositions, expressed in some temporal logic, expected to be true on the implementation according to the specification content. Completeness of the set of written properties is still an open problem. We propose a practical approach to the property coverage metrics definition based on fault injection; a combination of model checking, fault simulation and emulation allows to reduce the coverage measure to an affordable task. The application of these three different technologies is illustrated on a real example, on which it leads to the discovery of a missing property in a property set formerly trusted to be complete.