Computer-aided design and analysis of circuits and semiconductor – Integrated circuit design processing – Logic design processing
Reexamination Certificate
2008-06-10
2011-12-13
Whitmore, Stacy (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Integrated circuit design processing
Logic design processing
Reexamination Certificate
active
08079001
ABSTRACT:
Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.
REFERENCES:
patent: 5517432 (1996-05-01), Chandra et al.
patent: 6141630 (2000-10-01), McNamara et al.
patent: 6427223 (2002-07-01), Kim et al.
patent: 6751582 (2004-06-01), Andersen et al.
patent: 6874135 (2005-03-01), Gupta et al.
patent: 7454324 (2008-11-01), Seawright et al.
patent: 7512913 (2009-03-01), Matsuura
patent: 7702498 (2010-04-01), Agarwala
patent: 7797648 (2010-09-01), Huang
patent: 2004/0230928 (2004-11-01), Nozuyama
patent: 2005/0125754 (2005-06-01), Schubert et al.
patent: 2007/0150845 (2007-06-01), Matsuura
patent: 03-099228 (1991-04-01), None
patent: 2001-014365 (2001-01-01), None
Yatin Hoskote, et al. “Coverage Estimation for Symbolic Model Checking”, in Proc. of ACM/IEEE DAC, 1999, pp. 300-305.
Xingwen Xu, et al., “Transition-Based Coverage Estimation for Symbolic Model Checking,” 0-7803-9451-8/06 IEEE, 2006, pp. 1-6.
Iwashita Hiroaki
Nakata Tsuneo
Takayama Koichiro
Zhu Qiang
Fujitsu Limited
Staas & Halsey , LLP
Whitmore Stacy
LandOfFree
Verification of requirements specification, 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 Verification of requirements specification, design..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification of requirements specification, design... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4300381