Invention Grant
- Patent Title: Automated management of verification waivers
- Patent Title (中): 自动管理验证豁免
-
Application No.: US13234952Application Date: 2011-09-16
-
Publication No.: US08495542B2Publication Date: 2013-07-23
- Inventor: Gero Dittmann
- Applicant: Gero Dittmann
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: DeLizio Gilliam, PLLC
- Priority: EP10177094 20100916
- Main IPC: G06F17/50
- IPC: G06F17/50

Abstract:
Automated management of verification waivers is disclosed. In one embodiment a method is provided comprising issuing a request to perform a verification run on a component of an electric circuit design, receiving configuration data specifying a list of waivers extracted from a plurality of waivers applicable to the electric circuit design as a whole where the list of waivers is extracted based on waiver validity period data and is applicable to the component rather than the electric circuit design as a whole. The described method further comprises identifying a potential design defect and generating a verification run result including a set of design defects of the component, the set including the potential design defect if no waiver of the list of waivers is determined to be applicable.
Public/Granted literature
- US20120072878A1 AUTOMATED MANAGEMENT OF VERIFICATION WAIVERS Public/Granted day:2012-03-22
Information query