http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2018218094-A1
Outgoing Links
| Predicate | Object |
|---|---|
| assignee | http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_9985d583b30ac1151ed99d3b3cbc1985 |
| classificationCPCAdditional | http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F30-30 |
| classificationCPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F17-505 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F17-5054 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F30-34 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F30-327 |
| classificationIPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F17-50 |
| filingDate | 2018-03-29-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| inventor | http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_714de8e9f99ac2bf2de300dff6ed44f6 |
| publicationDate | 2018-08-02-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| publicationNumber | US-2018218094-A1 |
| titleOfInvention | Safety features for high level design |
| 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. |
| isCitedBy | http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-11669314-B2 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2022350580-A1 |
| priorityDate | 2015-11-02-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| type | http://data.epo.org/linked-data/def/patent/Publication |
Incoming Links
Total number of triples: 52.