×

SAFETY FEATURES FOR HIGH LEVEL DESIGN

  • US 20180218094A1
  • Filed: 03/29/2018
  • Published: 08/02/2018
  • Est. Priority Date: 11/02/2015
  • Status: Active Grant
First Claim
Patent Images

1. Tangible computer-readable media storing non-transitory code executable by one or more processors, the code being configured to, when executed by the one or more processors, cause operations to be performed including:

  • accessing an algorithmic description representation of a circuit design, the algorithmic description representation being specified in a first language and including at least one programming language construct associated with a first safety data type; and

    compiling the algorithmic description representation of the circuit design, the compiling including;

    identifying the at least one construct,accessing a first safety data type definition associated with the first safety data type, andgenerating a second representation of the circuit design based on the algorithmic description representation and the first safety data type definition, the second representation being provided in a second language and including at least one safety feature for a portion of the circuit design associated with the at least one construct.

View all claims
  • 0 Assignments
Timeline View
Assignment View
    ×
    ×