Method and system for implementing top down design and verification of an electronic design

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 8539405
APP PUB NO 20120311513A1





Loading Importance Indicators... loading....


See full text

Disclosed is a method and system for performing design and verification using stepwise refinement techniques, which can also include or be referred to as “top-down” design verification. With the present stepwise refinement approach, the electronic design can be acted upon at different levels of abstraction, but with approximately the same level of resolution at each abstraction level. A strong relationship of consistency exists between the successive abstraction levels of the design. On account of this consistency, properties that are established or true at one level of the design remain true for all subsequent levels of abstraction of the design. The present approach also allows designers to more efficiently and accurately perform hardware/software co-design. For the co-design process, consistency between different levels of abstraction allows a designer to safely implement a systematic and concurrent divide-and-conquer approach to the hardware and/or software elements in a design.

Loading the Abstract Image... loading....

First Claim

See full text


Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddress

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]


Inventor Name Address # of filed Patents Total Citations
Kurshan, Robert P New York, US 15 264
McMillan, Kenneth L Berkeley, US 9 105

Cited Art Landscape

Load Citation

Patent Citation Ranking

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 Mar 17, 2021
11.5 Year Payment $7400.00 $3700.00 $1850.00 Mar 17, 2025
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