4. A verification support method comprising: receiving analytical information indicative of a result of analysis of a requirement specification regarding a large-scale integration of a design object; generating a concept model in which basic functions of the design object are modeled and in which physical architecture of the design object and concept of time are abstracted, based on the analytical information; generating a function model that is modeled by extracting division of modules making up the design object and concurrence and parallelism of divided modules, based on the analytical information; verifying whether the division of modules and the concurrence and the parallelism in the function model are proper based on the concept model; extracting information on an arbitrary architecture from among a plurality of kinds of physical architectures when it is verified as proper for the function model at the verifying; generating a motion model in which motion of the design object is modeled by mapping the information on the architecture extracted at the extracting to the function model verified as proper; and verifying whether motion timing of the modules is proper that make up the design object modeled by the motion model.
4. A verification support method comprising: receiving analytical information indicative of a result of analysis of a requirement specification regarding a large-scale integration of a design object; generating a concept model in which basic functions of the design object are modeled and in which physical architecture of the design object and concept of time are abstracted, based on the analytical information; generating a function model that is modeled by extracting division of modules making up the design object and concurrence and parallelism of divided modules, based on the analytical information; verifying whether the division of modules and the concurrence and the parallelism in the function model are proper based on the concept model; extracting information on an arbitrary architecture from among a plurality of kinds of physical architectures when it is verified as proper for the function model at the verifying; generating a motion model in which motion of the design object is modeled by mapping the information on the architecture extracted at the extracting to the function model verified as proper; and verifying whether motion timing of the modules is proper that make up the design object modeled by the motion model. 5. The verification support method according to claim 4 , further comprising: generating an interface cycle accurate model by inserting, at a place where a degree of abstraction is different between modules making up the design object modeled by the function model, an interface of a predetermined clock cycle accuracy between the modules, when the motion timing is verified as proper; and verifying whether the clock cycle accuracy of the interface is proper, based on the concept model.