Method for determining the functional equivalence between two circuit models in a distributed computing environment
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Aug 26, 2003
Grant Date -
N/A
app pub date -
Aug 23, 2000
filing date -
Aug 23, 2000
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
This invention determines whether two logic level circuit models have equivalent functionality. The method allows difficult portions of the equivalent functionality check to be partitioned and concurrently solved in a distributed computing environment. This permits the user to use, in a scalable fashion, additional computing resources to rapidly solve difficult equivalent functionality checks. The method allows difficult checks to be solved using (1) a divide-and-conquer approach, (2) by a competitive approach in which many independent attempts are made to solve the same check, or (3) by allocating more resources to solve the difficult check.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully