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; an analyzing unit operable to analyze, through the operation of the execution object on the real processor, operation which is based on the function of the logical circuit and is coordinated with a target processor; and a second storing unit operable to store processor information used by said analyzing unit, wherein the processor information includes difference information indicative of difference between operation specifications of the real processor and operation specifications of the target processor.