Abstract: In a method of verifying a semiconductor device, input data defining the semiconductor device including a plurality of blocks is received. A first simulation environment is generated for a top module and at least one target block of the plurality of blocks in the top module. The first simulation environment includes power wiring information and additional power-related information. The top module represents an entire structure of the semiconductor device. A second simulation environment is generated for non-target blocks of the plurality of blocks other than the at least one target block. The second simulation environment is different from the first simulation environment. A verification operation is performed on the semiconductor device based on a hybrid simulation environment in which the first simulation environment and the second simulation environment are combined.

Abstract: In a method of verifying a semiconductor device, input data defining the semiconductor device including a plurality of blocks is received. A first simulation environment is generated for a top module and at least one target block of the plurality of blocks in the top module. The first simulation environment includes power wiring information and additional power-related information. The top module represents an entire structure of the semiconductor device. A second simulation environment is generated for non-target blocks of the plurality of blocks other than the at least one target block. The second simulation environment is different from the first simulation environment. A verification operation is performed on the semiconductor device based on a hybrid simulation environment in which the first simulation environment and the second simulation environment are combined.

Abstract: In a method of verifying a semiconductor device, input data defining the semiconductor device including a plurality of blocks is received. A first simulation environment is generated for a top module and at least one target block of the plurality of blocks in the top module. The first simulation environment includes power wiring information and additional power-related information. The top module represents an entire structure of the semiconductor device. A second simulation environment is generated for non-target blocks of the plurality of blocks other than the at least one target block. The second simulation environment is different from the first simulation environment. A verification operation is performed on the semiconductor device based on a hybrid simulation environment in which the first simulation environment and the second simulation environment are combined.