Active trace assertion based verification system

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 10372854
APP PUB NO 20140046647A1
SERIAL NO

13910057

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

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

See full text

Other Claims data not available

Family

Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddress
SYNOPSYS INCMOUNTAIN VIEW CA 94043

International Classification(s)

loading....
  • 2013 Application Filing Year
  • G06F Class
  • 48303 Applications Filed
  • 43929 Patents Issued To-Date
  • 90.95 % Issued To-Date
Click to zoom InYear of Issuance% of Matters IssuedCumulative IssuancesYearly Issuances20132014201520162017201820192020202120222023202420250255075100

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Chen, Yung-Chuan Kaohsiung, TW 19 162
Lo, Chun-Yi Miaoli, TW 13 58
Tsai, Kuen-Yang Shueilin Township, TW 7 80

Cited Art Landscape

Load Citation

Patent Citation Ranking

  • 1 Citation Count
  • G06F Class
  • 26.03 % this patent is cited more than
  • 6 Age
Citation count rangeNumber of patents cited in rangeNumber of patents cited in various citation count ranges112622663832801054509243100764025142801 - 1011 - 2021 - 3031 - 4041 - 5051 - 6061 - 7071 - 8081 - 9091 - 100100 +0200040006000800010000120001400016000180002000022000240002600028000

Forward Cite Landscape

Load Citation

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