Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design
Reexamination Certificate
2006-12-27
2009-12-29
Rossoshek, Helen (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Nanotechnology related integrated circuit design
C716S030000, C716S030000, C716S030000, C716S030000, C703S002000, C703S018000, C703S022000
Reexamination Certificate
active
07640521
ABSTRACT:
A verification supporting apparatus includes a concept model generating unit, a function model verifying unit, a motion model verifying unit, and an ICA model verifying unit. The concept model generating unit generates a concept model aiming at a requirement specification of a customer to eliminate an error or misunderstanding of the specification at the initial stage of design. The function model verifying unit verifies a concurrent and parallel function model, to verify appropriateness of function module division and correctness of concurrence and parallelism. The motion model verifying unit verifies a motion model, to verify whether the design of architecture is appropriate and whether performance requirements are satisfied. The ICA model verifying unit verifies correctness of interface design.
REFERENCES:
patent: 6789054 (2004-09-01), Makhlouf
patent: 7085688 (2006-08-01), Sumida et al.
patent: 7165236 (2007-01-01), America
patent: 7234126 (2007-06-01), Catthoor et al.
patent: 7257521 (2007-08-01), Hashima et al.
patent: 7260510 (2007-08-01), Sumida
patent: 7325010 (2008-01-01), Kim
patent: 7356786 (2008-04-01), Schubert et al.
patent: 7389208 (2008-06-01), Solinsky
patent: 2005/0192787 (2005-09-01), Kuwahara et al.
patent: 2006/0236289 (2006-10-01), Zhu et al.
patent: 2007/0016395 (2007-01-01), Kiffmeier et al.
patent: 2007/0261012 (2007-11-01), Matsuda et al.
patent: 2002-279011 (2002-09-01), None
patent: 2003-288378 (2003-10-01), None
patent: 2005242642 (2005-09-01), None
Randic et al.; “Information modeling of power substations by using the unified modeling language”; May 29-31, 2000; Electrotechnical Conference, 2000. MELECON 2000. 10th Mediterranean; vol. 3, pp. 995-998 vol. 3.
Grosu et al.: “Automated software engineering using concurrent class machines”; Nov. 26-29, 2001; Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on; pp. 297-304.
Ohst et al.; “Difference tools for analysis and design documents”; Sep. 22-26, 2003; Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on; pp. 13-22.
International Search Report; International Application No. PCT/JP2004/009340; Search Report mailed Aug. 30, 2004.
PCT International Preliminary Report on Patentability, mailed Feb. 8, 2007, and issued in corresponding International Application No. PCT/JP2004/009340.
Supplemental European Search Report mailed Jul. 23, 2009 in corresponding European Application No. 04746809,5.
McUmber et al., “UML-Based Analysis Of Embedded Systems Using A Mapping to VHDL”, High-Assurance Systems Engineering, 1999 Proceedings, 4thIEEE Intern. Symposium, Wash., D.C., Nov. 17, 2009, pp. 56-63.
Voros et al., “Embedded System Using Formal Model Refinement: an Approach Based on the Combined Use of UML and the B Language”, Design Automation for Embedded Systems Journal, Jun. 1, 2004, vol. 9, pp. 67-99.
Theissinger et al., “CASTLE: An Interactive Environment for HW-SW Co-design”, Hardware/Software Codesign, 1994 Proceedings, Sep. 22, 1994, pp. 203-209 .
References AA (US 2002/0124085 A1), AG (JP 2003-288378) and AH (JP 2002-279011) are cited on the attached International Search Report (International Application No. PCT/JP2004/009340, Search Report mailed Aug. 31, 2004).
Fujitsu Limited
Rossoshek Helen
Staas & Halsey , LLP
LandOfFree
Model verification support method, apparatus, and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Model verification support method, apparatus, and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model verification support method, apparatus, and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4081591