1. A circuit analysis device comprising: a first storing unit operable to store an execution object which can operate on a real processor and includes a function of a logical circuit; a second storing unit operable to store processor information, including difference information indicative of a difference between operation specifications of the real processor and operation specifications of a target processor; an analyzing unit operable to analyze, through execution of the execution object on the real processor, an operation that is based on the function of the logical circuit, using the processor information so as to emulate, on said real processor, an emulation of said operation by the target processor.