Onespin Solutions Gmbh

Siemens Electronic Design Automation Gmbh

Jan Lanik

Raik Brinkmann

Jörg Grosse

Dominik Strasser

A system and method are disclosed for formulating a sequential equivalency problem for fault (non)propagation with minimal circuit logic duplication by leveraging information about the location and nature of a fault. The system and method further apply formal checking to safety diagnoses and efficiently models simple and complex transient faults.

System and method for formal fault propagation analysis

A system and method for formulating a sequential equivalency problem for fault (non)propagation with minimal circuit logic duplication by leveraging information about the location and nature of a fault. The system and method further apply formal checking to safety diagnoses and efficiently models simple and complex transient faults.

Growing community of inventors

Munich, Germany

Jan Lanik