A computer readable medium encoded with a hardware description language describing a virtual component for an integrated circuit design, the virtual component comprising a virtual component body having at least one circuit function and a verification-supporting circuit detachably connected to the virtual component body. The verification-supporting circuit may include a verification-output terminal described by the hardware description language. The verification-output terminal is configured to output a signal indicating an operation state inside of the virtual component body, and is detachably connected to the virtual component body so as not to affect the operation of the virtual component body even when the connection of the verification-output terminal with the virtual component body is cut.