专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08402403B2 Verifying a register-transfer level design of an execution unit 有权
标题翻译：验证执行单元的寄存器传输级设计
公开(公告)号：US08402403B2
公开(公告)日：2013-03-19
申请号：US12946325
申请日：2010-11-15
申请人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
发明人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
IPC分类号： G06F17/50 , G06F9/455 , G06G7/62
CPC分类号： G06F17/5022 , G06F17/505
摘要： A mechanism is provided for verifying a register-transfer level design of an execution unit. A set of instruction records associated with a test case are generated and stored in a buffer. For each instruction record in the set of instruction records associated with the test case: the instruction record is retrieved from the buffer and sent to both a reference model and an execution unit in the data processing system. Separately, the reference model and the execution unit execute the instruction record and send results of the execution of the instruction record to a result checker in the data processing system. The result checker compares the two results and, responsive to a mismatch in the results, a failure of the test case is indicted, the verification of the test case is stopped, and all data associated with the test case is output from the buffer for analysis.
摘要翻译：提供了一种用于验证执行单元的寄存器传送级别设计的机制。生成与测试用例相关联的一组指令记录并将其存储在缓冲器中。对于与测试用例相关联的指令记录集中的每个指令记录：从缓冲器检索指令记录并发送给数据处理系统中的参考模型和执行单元。另外，参考模型和执行单元执行指令记录并将执行指令记录的结果发送到数据处理系统中的结果检查器。结果检查器比较两个结果，并且响应于结果不匹配，指示测试用例的失败，测试用例的验证被停止，并且与测试用例相关联的所有数据从缓冲器输出用于分析。

2. 发明申请

US20110154110A1 Verifying a Register-Transfer Level Design of an Execution Unit 有权
标题翻译：验证执行单位的注册级别转移级别设计
公开(公告)号：US20110154110A1
公开(公告)日：2011-06-23
申请号：US12946325
申请日：2010-11-15
申请人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
发明人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
IPC分类号： G06F11/26
CPC分类号： G06F17/5022 , G06F17/505
摘要： A mechanism is provided for verifying a register-transfer level design of an execution unit a set of instruction records associated with a test case are generated and stored in a buffer. For each instruction record in the set of instruction records associated with the test case: the instruction record is retrieved from the buffer and sent to both a reference model and an execution unit in the data processing system. Separately, the reference model and the execution unit execute the instruction record and send results of the execution of the instruction record to a result checker in the data processing system. The result checker compares the two results and, responsive to a mismatch in the results, a failure of the test case is indicted, the verification of the test case is stopped, and all data associated with the test case is output from the buffer for analysis,
摘要翻译：提供了一种用于验证执行单元的寄存器传送级别设计的机制，与测试用例相关联的一组指令记录被生成并存储在缓冲器中。对于与测试用例相关联的指令记录集中的每个指令记录：从缓冲器检索指令记录并发送给数据处理系统中的参考模型和执行单元。另外，参考模型和执行单元执行指令记录并将执行指令记录的结果发送到数据处理系统中的结果检查器。结果检查器比较两个结果，并且响应于结果不匹配，指示测试用例的失败，测试用例的验证被停止，并且与测试用例相关联的所有数据从缓冲器输出用于分析，

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式