公开(公告)号：US20090235223A1

公开(公告)日：2009-09-17

申请号：US12350597

申请日：2009-01-08

申请人： Shingo KAKUI ,  Yutaka Ueno

发明人： Shingo KAKUI ,  Yutaka Ueno

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： According to one embodiment, a software generation apparatus generates software for verifying a RTL description obtained by high-level synthesis of an operation description describing an LSI operation. The apparatus comprises a judgment function generation module configured to generate a judgment function based on a test program for verifying the operation description and an execution cycle number, the judgment function starting a process of determining whether the relationship between the input value and the output value is an expected relation when the number of times of receiving a pair of an input value and an output value from the test program exceeds the execution cycle number.

摘要翻译： 根据一个实施例，软件生成装置生成用于验证通过描述LSI操作的操作描述的高级合成而获得的RTL描述的软件。 该装置包括：判断功能产生模块，被配置为基于用于验证操作描述和执行周期数的测试程序产生判断功能，所述判断功能开始确定输入值和输出值之间的关系是否为 当从测试程序接收一对输入值和输出值的次数超过执行循环次数时的预期关系。