Methods and apparatus to validate translated guest code in a dynamic binary translator
US-9223553-B2 · Dec 29, 2015 · US
US9104828B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-9104828-B2 |
| Application number | US-201414335537-A |
| Country | US |
| Kind code | B2 |
| Filing date | Jul 18, 2014 |
| Priority date | Jan 25, 2011 |
| Publication date | Aug 11, 2015 |
| Grant date | Aug 11, 2015 |
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
What the patent document calls the invention.
A short plain-language summary of the technical disclosure.
Who owns or filed the patent and who is credited as inventor.
Filing, priority, publication, and grant dates set the timeline.
The legal scope of protection — read this for what is actually claimed.
Technology tags used to group this patent with similar filings.
Prior art links and similar publications in this corpus.
Official abstract text for this publication.
Embodiments of a system and method for generating an image configured to program a parallel machine from source code are disclosed. One such parallel machine includes a plurality of state machine elements (SMEs) grouped into pairs, such that SMEs in a pair have a common output. One such method includes converting source code into an automaton comprising a plurality of interconnected states, and converting the automaton into a netlist comprising instances corresponding to states in the automaton, wherein converting includes pairing states corresponding to pairs of SMEs based on the fact that SMEs in a pair have a common output. The netlist can be converted into the image and published.
Opening claim text (preview).
What is claimed is: 1. A system comprising: a computer arranged to: obtain an automaton representing source code, the automaton including states and transitions between the states; obtain a target device identification, the target device including a hardware element that is a group of state machine elements (SMEs), the group of SMEs including a plurality of SMEs, the hardware element including a restriction on at least one of input or output, the input or output being to or fro…
Related publications grouped by family.
Free tools are coming soon. Tell us what you want to track and we'll notify you.
Answers are generated from the same data shown on this page.