Computer-aided design and analysis of circuits and semiconductor – Integrated circuit design processing – Optimization
Reexamination Certificate
2011-03-01
2011-03-01
Do, Thuan (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Integrated circuit design processing
Optimization
C716S104000, C716S106000, C716S119000
Reexamination Certificate
active
07900181
ABSTRACT:
Systems, methods, and media for block-based assertion generation, qualification and analysis are disclosed. Embodiments may include a method for generating assertions for verifying a design. The embodiment may include generating session preferences, the session preferences including a selection of one or more assertion schemas for use in generating the assertions, where the selected assertion schema each have one or more design attributes. The embodiment may also include parsing the design to determine locations in the design for the assertions based on the design architecture, structure, and hierarchy and generating the assertions based on at least the session preferences, the determined locations for the assertions, and the design attributes associated with the selected assertion schema. Generating the assertions may further include analyzing and modifying existing assertions based on the session preferences and design attributes or qualifying the assertions for consistency and compliance with the session preferences and design attributes.
REFERENCES:
patent: 6591402 (2003-07-01), Chandra et al.
Hekmatpour Amir
Salehi Azadeh
Do Thuan
International Business Machines - Corporation
Schnurmann Henri D.
Schubert Law Group PLLC
LandOfFree
Systems, methods, and media for block-based assertion... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Systems, methods, and media for block-based assertion..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems, methods, and media for block-based assertion... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2644969