SAFETY FEATURES FOR HIGH LEVEL DESIGN
First Claim
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.
0 Assignments
0 Petitions
Accused Products
Abstract
Aspects of this disclosure relate generally to electronic design automation, and more specifically, to electronic design automation using high level synthesis techniques to generate circuit designs that include safety features. Some innovative aspects can be implemented in computer-readable media, systems and methods capable of accessing an algorithmic description representation of a circuit design. 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. The media, systems and methods also are capable of compiling the algorithmic description representation of the circuit design. In some implementations, the compiling includes 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
20 Claims
-
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, 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 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 Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A system comprising:
-
one or more memory devices storing non-transitory processor-executable code configured to implement instructions; one or more processing devices to execute the processor-executable code to implement the instructions, the instructions configured to 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, 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 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 Dependent Claims (12, 13, 14, 15, 16, 17, 18)
-
-
19. A method comprising:
-
accessing, by a computer system, 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, by the computer system, 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, 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 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 Dependent Claims (20)
-
Specification