Abstract: A method for modeling glitch of a logic gate is provided. An input glitch with a glitch width is obtained from the logic gate. The glitch width is scaled by a first scaling factor when the glitch width is greater than or equal to a first threshold width. The glitch width is scaled by a second scaling factor when the glitch width is less than the first threshold width and greater than or equal to a second threshold width. An output glitch with the scaled glitch width is provided for the logic gate. The scaled glitch width is greater than 0. The first threshold width is greater than the second threshold width, and the second scaling factor is smaller than the first scaling factor.

Abstract: A method for showing hierarchical structure for a given power intent described in a power intent description language (e.g. a formal power intent description language) with a design described in a hardware design description language, an associated apparatus, and an associated computer program product are provided, where the method includes: retrieving hardware design description contents written in the hardware design description language from a hardware design description file, and retrieving power intent description contents written in the power intent description language from a power intent description file; and controlling a display module to display a power domain hierarchy associated with the power intent description contents and the hardware design description contents respectively retrieved from the power intent description file and the hardware design description file, wherein the power domain hierarchy includes at least one power domain.

Abstract: A method for showing hierarchical structure for a given power intent described in a power intent description language (e.g. a formal power intent description language) with a design described in a hardware design description language, an associated apparatus, and an associated computer program product are provided, where the method includes: retrieving hardware design description contents written in the hardware design description language from a hardware design description file, and retrieving power intent description contents written in the power intent description language from a power intent description file; and controlling a display module to display a power domain hierarchy associated with the power intent description contents and the hardware design description contents respectively retrieved from the power intent description file and the hardware design description file, wherein the power domain hierarchy includes at least one power domain.