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

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!