[发明专利]验证支援装置、验证支援方法、验证支援程序以及记录介质

摘要

本发明提供一种验证支援装置(400)以及验证支援方法，其中，验证支援装置(400)通过由概念模型生成部(402)生成关注于客户的要求式样的概念模型，从而在设计的初始阶段消除式样的错误或误解。并且，利用功能模型验证部(404)进行并列、并行的功能模型的验证，从而验证功能模块分割的妥当性以及并行、并列性的正确性。并且，利用动作模型验证部(408)验证动作模型，从而验证架构设计的妥当性、是否满足性能要件。并且，利用ICA模型验证部(410)验证接口设计的正确性。这样，通过阶段性地导入验证，能够在设计的早期阶段指出此前若不生成RTL就不能发现的问题，能够避免该风险。

主权项

1.一种验证支援装置，其特征在于，所述验证支援装置包括：分析信息输入单元，其接受表示与LSI的设计对象相关的要求式样的分析结果的分析信息的输入；概念模型生成单元，其根据所述分析信息输入单元所输入的分析信息，生成概念模型，所述概念模型是将所述设计对象的基本功能模型化、并将所述设计对象的物理架构和时间的概念抽象化而得到的；功能模型生成单元，其根据所述分析信息输入单元所输入的分析信息，生成功能模型，所述功能模型是通过对构成所述设计对象的模块进行分割以及提取所分割的模块的并行或并列性来模型化而得到的；以及功能模型验证单元，其根据所述概念模型生成单元所生成的概念模型，对所述功能模型生成单元所生成的功能模型进行如下验证，即验证构成所述设计对象的模块的分割以及所分割的模块的并行或并列性是否妥当。