1: 什么是STL?
A: STL是套接口事务语言(socket transactionlanguage)的首字母缩写。STL是一种灵活的汇编级的事务描述语言,CoreCreator QuickCore模型通过编译STL来确定在它的OCP主机接口应该发起怎样的事务,来检验OCP从机的内核设计。
2: 我是不是不得不用STL来进行QuickCore模型OCP测试?
A: STL和基于任务接口的Verilog都可以用来开发QuickCore模型OCP测试。OCP2.0规范和CoreCreator4.0版本提供支持Verilog任务接口。
3: 如果我加入OCP-IP,我能得到什么软件?
A: 你会得到叫做“CoreCreator”的软件。这实际上是一套程序。它包含一个图形用户接口,也含有用来分解图表文件为人工阅读表格的程序。CoreCreator也包含快速建模核心,它是OCP总线功能模块。CoreCreator的datasheet可以在我们的网站www.ocpip.org 找到,或者联系admin@ocpip.org.
4: CoreCreator支持什么样的RTL和仿真语言?
A: CoreCreator同时支持Verilog和VHDL,也支持所有流行的仿真器,像Verilog-XL, NCVerilog, VCS and ModelSim。
5: CoreCreator能用在基于Linux的系统吗?
A: CoreCreator支持的默认平台是SunSolaris.但是,这些工具在Linux平台下同样可用。
6: 怎么做OCP一致性测试?
A: 当使用CoreCreator来执行OCP接口,OCP监视器就会产生活动的日志,它通过OCPCHECK2这个程序的仿真来执行。这个OCPCHECK2程序分析该OCP活动,检测该活动是否遵守OCP协议规范。因此,在仿真过程中,任何OCP协议违例都会被立即报告。然而,在仿真完成以后,这个OCPCHECK2的工具也能够作为仿真后的处理步骤,这些处理步骤以单独执行模式来运行。
7: 我怎么知道我的核心是不是OCP保持一致?
A: 目前没有一个测试向量兼容集。因此,你应该构建一个STL文件和/或 Verilog任何接口文件,来执行所有与OCP操作兼容的核心。为了使用CoreCreator如上述进行设计测试—写典型的核心行为testbench,使用OCP检查器运行仿真。任何协议的偏差都会在核心的OCPCHECK输出文件中标签出来。
8: OCP协议检查器检查一些什么内容?
A: 它监测所有的通过OCP接口的行为,并且检查OCP协议所有的方面。在OCP接口中,可以使用STL或者Verilog任务接口来驱动OCP行为,OCP协议检查器将检查这个OCP行为是否满足OCP规范中定义的协议所有的要求。
9: 如果我的桥通过了OCP检查,是不是表示它与OCP保持一致?
A: OCPCHECK可以证实这种互动,然而,没有经过检测的情况未必是这样。不要企图去确认所有可能的OCP信号序列是被执行的。因此,STL或者Verilog任务接口将被用来生成足够大量的OCP交易,来彻底执行这个桥接口的所有不同OCP能力。
10: 针对一致性测试,OCP-IP长期计划是什么?
A: 当前,OCP-IP有一个自鉴定的程序,在这个程序中,会员可以获得卖方的鉴定,并且使用我们的CoreCreator产品来决定一致性。我们已经审查过目前的工业测试,并将制定有效的基于英语的规范集,以允许通过自主或者通常的功能验证方法来进行验证。很多的EDA供应商已经对使用他们的商业产品来制定这些规范集显示出了兴趣。
了解更多关于OCP在仿真&测试方面的知识,请访问http://www.ocpip.org/chinese/faqs/simtest。