Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design
Reexamination Certificate
2008-05-06
2008-05-06
Dinh, Paul (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Nanotechnology related integrated circuit design
C716S030000, C716S030000
Reexamination Certificate
active
07370296
ABSTRACT:
Methods and systems are disclosed that enhance the ability of a test generator to automatically deal with address translation in a processor design, and without need for creating specific code. A model of the address translation mechanism of a design-under-test is represented as a directed acyclic graph and then converted into a constraint satisfaction problem. The problem is solved by a CSP engine, and the solution used to generate test cases for execution. Using the model, testing knowledge can be propagated to models applicable to many different designs to produce extensive coverage of address translation mechanisms.
REFERENCES:
patent: 5202889 (1993-04-01), Aharon et al.
patent: 5428786 (1995-06-01), Sites
patent: 5835963 (1998-11-01), Yoshioka et al.
patent: 5845106 (1998-12-01), Stapleton
patent: 6006028 (1999-12-01), Aharon et al.
patent: 6073194 (2000-06-01), Lowe
patent: 6081864 (2000-06-01), Lowe et al.
patent: 6636849 (2003-10-01), Tang et al.
patent: 2003/0014734 (2003-01-01), Hartman et al.
patent: 2004/0088682 (2004-05-01), Thompson et al.
patent: 2005/0193359 (2005-09-01), Gupta et al.
Chandra et al., AVPGEN-A Test Generator for Architecture Verification, IEEE, Jun. 1995, vol. 3, No. 2, pp. 188-200.
Chandra et al., Constraint Solving for Test case generation, IEEE, 1992, pp. 245-248.
“Genesys”, which is disclosed in the document “Model-Based Test Generation for Process Design Verification”, Y. Lichtenstein et al., in Sixth Innovative Applications of Artificial Intelligence Conference, Aug. 1994, pp. 83-94.
Aharon, A., et al., “Test Program Generation for Functional Verification of PowerPC Processors in IBM”, 32nd Design Automation Conference, pp. 279-285, 1995.
Chandra, et al., “AVPGEN—A Test Generator for Architecture Verification,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 3, No. 2, Jun. 1995, pp. 188-200.
Adir Allon
Emek Roy
Katz Yoav
Koyfman Anatoly
Vinov Michael
Dinh Paul
Doan Nghia M.
International Business Machines - Corporation
LandOfFree
Modeling language and method for address translation design... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Modeling language and method for address translation design..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling language and method for address translation design... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2794519