Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate
2011-08-02
2011-08-02
Craig, Dwin M (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Circuit simulation
C716S106000, C716S107000, C716S111000
Reexamination Certificate
active
07991605
ABSTRACT:
Method and apparatus for translating a verification process having recursion for implementation in a logic emulator are described. Examples of the invention relate to a method, apparatus, and computer readable medium for translating a verification process for implementation in a hardware emulator of a logic verification system. A recursive task called by the verification process is identified. A copy of the recursive task is incorporated into the verification process. Interface registers are instantiated for the recursive task. Control flow transfer points are defined in the verification process. Calls of the recursive task are converted in the verification process to constructs for accessing the interface registers and transferring control flow among the control flow transfer points. The verification process is reorganized to describe a finite state machine (FSM) configured for implementation in the hardware emulator.
REFERENCES:
patent: 5963739 (1999-10-01), Homeier
patent: 6907599 (2005-06-01), Kashai et al.
patent: 7448008 (2008-11-01), Seigler et al.
patent: 7672965 (2010-03-01), Bax
patent: 7757191 (2010-07-01), Chan
patent: 7779377 (2010-08-01), Nakata
Peng Song
Tseng Ping-sheng
Cadence Design Systems Inc.
Colandreo, Esq. Brian J.
Craig Dwin M
Holland & Knight LLP
Whittenberger, Esq. Mark H.
LandOfFree
Method and apparatus for translating a verification process... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for translating a verification process..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for translating a verification process... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2656485