Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design
Reexamination Certificate
2005-08-30
2005-08-30
Thompson, A. M. (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Nanotechnology related integrated circuit design
C716S030000, C703S014000, C703S019000
Reexamination Certificate
active
06938228
ABSTRACT:
A method and apparatus for simulating multiple stimuli using symbolic encoding. In one embodiment, the method comprises encoding a plurality of sets of stimulus to create a symbolic stimulus, symbolically simulating a device under test, including applying the symbolic stimulus to the device under test, and outputting a symbolic result from the device under test in response to the symbolic stimulus.
REFERENCES:
patent: 5752000 (1998-05-01), McGeer et al.
patent: 5910897 (1999-06-01), Dangelo et al.
patent: 6138266 (2000-10-01), Ganesan et al.
patent: 6295623 (2001-09-01), Lesmeister et al.
patent: 6378112 (2002-04-01), Martin et al.
patent: 6609230 (2003-08-01), Li
patent: 6634012 (2003-10-01), Zhong et al.
patent: 2003/0115559 (2003-06-01), Sawada
patent: 2003/0115562 (2003-06-01), Martin et al.
H. Barringer et al., A Design and Verification Environment for ELLA, IFIP International Conference on Very Large Scale Integration, pp. 685-690, Sep. 1995.
C. Seger, VOSS—A Formal Hardware Verification System User's Guide, Technical Report TR-93-45, University of British Columbia, Dec. 1993.
Bever Hoffman & Harms LLP
Kubodera John M.
Synopsys Inc.
Thompson A. M.
LandOfFree
Simultaneously simulate multiple stimuli and verification... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Simultaneously simulate multiple stimuli and verification..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simultaneously simulate multiple stimuli and verification... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3494097