Patents Assigned to Siemens Electronic Design Automation Gmbh
  • System and method for formal fault propagation analysis
    Patent number: 11816410
    Abstract: 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.
    Type: Grant
    Filed: August 30, 2022
    Date of Patent: November 14, 2023
    Assignee: Siemens Electronic Design Automation Gmbh
    Inventors: Dominik Strasser, Jörg Grosse, Jan Lanik, Raik Brinkmann