Importance

Loading Importance Indicators...

Abstract

A verification apparatus detects a first delay circuit connected to an output side of a second isolator in a first netlist including first and second isolators, in which the first isolator is inserted into a first path between first and second power domains under first rule, and the second isolator is inserted into a second path between the first and third power domains under second rule. To verify whether the first and second isolators are inserted under the first and second rules respectively, the verification apparatus searches a second netlist generated by performing an optimization step including delay adjustment on the first netlist for a connection destination of the first power domain, and if the connection destination is not the first delay circuit, continues searching, and detects the second power domain, to thereby specify the first path at the time of the first rule being applied.

Loading the Abstract Image...

First Claim