AUTOMATIC SAFETY LOGIC INSERTION

A method is disclosed for configurable insertion of safety in library-based designs. The invention can automatically harden the design according to a particular safety goal, without having to modify the original design description. L'invention concerne un procédé permettant une insertion config...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	BOUTILLIER, BORIS, PROUJANSKY-BELL, JONAH, MARTIN, PHILIPPE, LELOUP, XAVIER
Format:	Patent
Sprache:	eng ; fre
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	A method is disclosed for configurable insertion of safety in library-based designs. The invention can automatically harden the design according to a particular safety goal, without having to modify the original design description. L'invention concerne un procédé permettant une insertion configurable de sécurité dans des conceptions basées sur bibliothèque. L'invention peut renforcer automatiquement la conception en fonction d'un objectif de sécurité particulier, sans avoir à modifier la description de la conception d'origine.