Safety features for high level design
First Claim
1. A tangible, non-transitory, and computer-readable media storing instructions that, when executed by one or more processors, cause one or more processors to:
- identify at least one programming language construct associated with a safety data type of an algorithmic description representation of a circuit design, wherein the algorithmic description representation is specified in a first language;
andgenerate a second representation of the circuit design based on the algorithmic description representation and the safety data type, the second representation is specified in a second language and includes at least one safety feature that is based at least in part on the safety data type, wherein the second representation is used to configure a manufactured programmable logic device after manufacturing of the programmable logic device has been completed.
1 Assignment
0 Petitions
Accused Products
Abstract
This disclosure relates generally to electronic design automation using high level synthesis techniques to generate circuit designs that include safety features. The algorithmic description representation can be specified in a first language and include at least one programming language construct associated with a first safety data type. Compiling the algorithmic description may involve identifying the at least one construct, accessing a first safety data type definition associated with the first safety data type, and generating a second representation of the circuit design based on the algorithmic description representation and the first safety data type definition. The second representation can be provided in a second language and include at least one safety feature for a portion of the circuit design associated with the at least one construct.
-
Citations
21 Claims
-
1. A tangible, non-transitory, and computer-readable media storing instructions that, when executed by one or more processors, cause one or more processors to:
-
identify at least one programming language construct associated with a safety data type of an algorithmic description representation of a circuit design, wherein the algorithmic description representation is specified in a first language; and generate a second representation of the circuit design based on the algorithmic description representation and the safety data type, the second representation is specified in a second language and includes at least one safety feature that is based at least in part on the safety data type, wherein the second representation is used to configure a manufactured programmable logic device after manufacturing of the programmable logic device has been completed. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12)
-
-
13. A system comprising:
-
one or more memory devices storing non-transitory processor-executable code configured to implement instructions; one or more processors to execute the processor-executable code to cause the one or more processors to; identify at least one programming language construct associated with a safety data type of an algorithmic description representation of a circuit design, wherein the algorithmic description representation is specified in a first language; generate a second representation of the circuit design based on the algorithmic description representation and the safety data type, wherein the second representation being provided in a second language and including at least one safety feature that is based at least in part on the safety data type; and configuring a programmable logic device after the programmable logic device has been manufactured. - View Dependent Claims (14, 15, 16, 17, 18, 19)
-
-
20. A method comprising:
-
identifying at least one programming language construct associated with a safety data type of an algorithmic description representation of a circuit design, wherein the algorithmic description representation is specified in a first language; generating a second representation of the circuit design based on the algorithmic description representation and the safety data type, wherein the second representation is specified in a second language and includes at least one safety feature that is based at least in part on the safety data type; and configuring a programmable logic device after the programmable logic device has been manufactured. - View Dependent Claims (21)
-
Specification