摘要 |
A verification supporting apparatus (400), by causing a concept model generating unit (402) to generate a concept model aiming at a requirement specification of a customer, eliminates an error or misunderstanding of the specification at the initial stage of design. The verification supporting apparatus, by causing a function model verifying unit (404) to verify a concurrent and parallel function model, verifies appropriateness of function module division and correctness of concurrence and parallelism. The verification supporting apparatus, by causing a motion model verifying unit (408) to verify a motion model, verifies whether the design of architecture is appropriate and whether performance requirements are satisfied. The verification supporting apparatus, by an ICA model verifying unit (410), verifies correctness of interface design. By introducing the verification step by step as seen above, the problems that are so far undiscoverable until the RTL is generated can be extracted at an early stage of design, avoiding the risks involved therein.
|