Encounter Conformal Low Power GXL de Cadence

Ce logiciel de vérification à base de preuve formelle assure la validation de cellules standards ou personnalisées en technologie 65 nm, notamment pour la vérification de techniques basse consommation.

Technique d’abstraction de transistor
Vérification d’équivalence formelle
Analyse et contrôle des phénomènes d’isolement et de rétention
Analyse de chemins de

…