1. A design/verification aid system adapted to aid design of a product and verification of the design, comprising: a design processing unit that executes a CAD (computer aided design) process in accordance with an input operation command, the CAD process including: a part generation process to generate a part geometric model; a part addition process to add to the generated part geometric model a part geometric model corresponding to another part to generate a whole geometric model corresponding to a product under design; and a part movement process to move a position of a predetermined part geometric model in the whole geometric model; an analytic model generation unit that, when a part geometric model is generated by the part generation process, generates an analytic model corresponding to the part geometric model; an analytic model edition unit that, whenever either of the part addition process and the part movement process is executed, edits the generated analytic model in accordance with a content of either of the part addition process and the part movement process, and generates a whole analytic model corresponding to the whole geometric model; and an analysis unit that executes an analysis process to analyze the whole geometric model on a basis of the whole analytic model generated by the analytic model edition unit, and displays an analytic result.