Active trace assertion based verification system
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Aug 6, 2019
Grant Date -
Feb 13, 2014
app pub date -
Jun 4, 2013
filing date -
Jun 16, 2006
priority date (Note) -
In Force
status (Latency Note)
![]() |
A preliminary load of PAIR data current through [] has been loaded. Any more recent PAIR data will be loaded within twenty-four hours. |
PAIR data current through []
A preliminary load of cached data will be loaded soon.
Any more recent PAIR data will be loaded within twenty-four hours.
![]() |
Next PAIR Update Scheduled on [ ] |

Importance

US Family Size
|
Non-US Coverage
|
Abstract
A method is presented for responding to user input by displaying when a circuit has a property expressed by an assertion based on data indicating values of signals of the circuit at a succession of times. The assertion expresses the property as a first sequence of expressions, and separately defines for each expression a corresponding evaluation time relative to the succession of times at which the expression is to be evaluated. The circuit has the property only if every expression of the first sequence evaluates true at its corresponding evaluation time. The method includes displaying a representation of each expression of the first sequence and identifying each variable that caused that expression to evaluate false and distinctively marking that variable's symbol relative to other variable symbols within the display for each expression of the first sequence that evaluates false at its corresponding evaluation time.
First Claim
all claims..Other Claims data not available
Family

- 15 United States
- 10 France
- 8 Japan
- 7 China
- 5 Korea
- 2 Other
Patent Owner(s)
Patent Owner | Address | |
---|---|---|
SYNOPSYS INC | MOUNTAIN VIEW CA 94043 |
International Classification(s)

- 2013 Application Filing Year
- G06F Class
- 48303 Applications Filed
- 43929 Patents Issued To-Date
- 90.95 % Issued To-Date
Inventor(s)
Inventor Name | Address | # of filed Patents | Total Citations |
---|---|---|---|
Chen, Yung-Chuan | Kaohsiung, TW | 19 | 162 |
# of filed Patents : 19 Total Citations : 162 | |||
Lo, Chun-Yi | Miaoli, TW | 13 | 58 |
# of filed Patents : 13 Total Citations : 58 | |||
Tsai, Kuen-Yang | Shueilin Township, TW | 7 | 80 |
# of filed Patents : 7 Total Citations : 80 |
Cited Art Landscape
- No Cited Art to Display

Patent Citation Ranking
- 1 Citation Count
- G06F Class
- 26.03 % this patent is cited more than
- 6 Age
Forward Cite Landscape
- No Forward Cites to Display

Maintenance Fees
Fee | Large entity fee | small entity fee | micro entity fee | due date |
---|---|---|---|---|
7.5 Year Payment | $3600.00 | $1800.00 | $900.00 | Feb 6, 2027 |
11.5 Year Payment | $7400.00 | $3700.00 | $1850.00 | Feb 6, 2031 |
Fee | Large entity fee | small entity fee | micro entity fee |
---|---|---|---|
Surcharge - 7.5 year - Late payment within 6 months | $160.00 | $80.00 | $40.00 |
Surcharge - 11.5 year - Late payment within 6 months | $160.00 | $80.00 | $40.00 |
Surcharge after expiration - Late payment is unavoidable | $700.00 | $350.00 | $175.00 |
Surcharge after expiration - Late payment is unintentional | $1,640.00 | $820.00 | $410.00 |
Full Text

Legal Events
- No Legal Status data available.

Matter Detail

Renewals Detail
