公开(公告)号：GB2458721B

公开(公告)日：2012-01-11

申请号：GB0820513

申请日：2008-11-10

Applicant: IBM

Inventor： BAROWSKI HARRY ,  NIGGEMEIER TIM ,  JAESCHKE CHRISTOPH ,  WAKUNDA JUERGEN

IPC: G06F17/50 ,  G06F1/32

公开(公告)号：GB2458721A

公开(公告)日：2009-09-30

申请号：GB0820513

申请日：2008-11-10

Applicant: IBM

Inventor： BAROWSKI HARRY ,  NIGGEMEIER TIM ,  JAESCHKE CHRISTOPH ,  WAKUNDA JUERGEN

IPC: G06F17/50 ,  G06F1/32

Abstract: The invention relates to a method and a system for verifying a microprocessor design with multiple power gate domains (21, 22). The checks are done via structural checks of a hierarchical netlist of the design and use signal based traversion. Specifically, the invention encompasses an identification of the power gate domains (21, 22) within the design, defining traversal trajectories along signal interconnections (61, 61', 61'') between power gate domains (21, 22) and determining compliance of interconnections between starting points (71. 71', 71'') and end points (72, 72', 72'') of said trajectories with respect to a set of design rules.