Phase algebra for analysis of hierarchical designs
US-2015169816-A1 · Jun 18, 2015 · US
US9251304B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-9251304-B2 |
| Application number | US-201414327658-A |
| Country | US |
| Kind code | B2 |
| Filing date | Jul 10, 2014 |
| Priority date | Dec 5, 2013 |
| Publication date | Feb 2, 2016 |
| Grant date | Feb 2, 2016 |
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.
A design tool can implement phase algebra based design evaluation to efficiently evaluate a circuit design with a compact representation of numerous waveforms without simulating the individual waveforms. Instead of individual waveforms, the phase algebra based design evaluation employs compact representations of a group or set of waveforms. Phase algebra based evaluation constructs representations of a set of waveforms based on relationships among a devised set of functions that account for the various states of a signal over time, including transitions and glitches. A memorized-transition function, referred to herein as an M-function, indicates signal transitions over time.
Opening claim text (preview).
What is claimed is: 1. A method comprising: determining a sequence of signal transition representations associated with an input net of an indicated component in a register transfer level circuit design, wherein each signal transition representation of the sequence of signal transition representations represents a non-deterministic transition from a previous signal state to a set of one or more possible signal states; determining, based on the indicated component, an output sequ…
Physics · mapped topic
Physics · mapped topic
Physics · mapped topic
Physics · mapped topic
Physics · mapped topic
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.