1. A logic verification device comprising: an input unit that receives an input of hardware description information concerning a design content of a hardware module and interface specification description information concerning a communication procedure of the hardware module; and a logic verifying unit that carries out a logic verification of the operation of the hardware module based on the hardware description information and the interface specification description information input by the input unit.