| 1: |
什么是STL？ |
| A: |
STL是套接口事务语言的首字母缩写。STL描述了灵活的汇编语言层面的事务描述语言，供CoreCreator
QuickCore模型读入，以决定要进行OCP从设备的核设计时，该在OCP主设备界面作哪些初始操作。 |
|
| 2: |
我只能使用STL进行快速核模型的OCP测试吗？ |
| A: |
STL和Verilog基于任务的界面都可以用于进行快速核模型的OCP测试。对于Verilog任务界面的支持是作为OCP2.0协议和CoreCreator4.0版本的一部分提供的。
|
|
| 3: |
如果我加入OCP-IP，我能得到什么软件？ |
| A: |
您将有权使用"CoreCreator"和"CoreCreator
II."软件。传统的CoreCreator实际上就是一系列程序。在程序之外，它还包括了一个图形用户界面，用来将零散的工作文件转化为用户可读的形式，协议检查这些工作文件并将结果在工作文件的演示界面中显示。
CoreCreator
II允许用户验证、调试和分析OCP核和基于OCP的系统。它由两个基础组成部分组成：首先，Synopsys公司的DesignWare®验证IP提供了OCP主设备和从设备处理器，产生并响应所有类型的OCP
2.2事务，同时还提供了一个仿真监视器，提供在OCP协议中协议兼容章节所定义的功能覆盖群的覆盖率报告。其次，Sonics公司的性能分析器（ocpperf2）和分解器（ocpdis2）评估了界面性能并帮助观察OCP通信的行为。两个组成部分都是可配置的，以支持OCP
2.2界面所具有的宽范围的选择空间。
对于OCP设计来说，CoreCreator II可以使用传统的Verilog和VHDL
testbench环境来产生直接的测试。现在它还增加了对于VMM（Verification Methodology
Manual）的支持，可以用来开发constrained-random的验证环境。CoreCreator
II提供可以用来确认开放式内核协议执行，减少设计时间和风险，保证产品快速面世的验证IP和调试工具。
更多信息请访问www.ocpip.org/socket/corecreator或与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: |
当使用核生成器调试OCP界面的时候，OCP监视器生成一个活动日志，并由OCPCHECK2程序在仿真过程中更新。这个OPCHECK2程序分析了此次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传输充分地演示了这个桥界面所用的各种不同的OCP性能。
|
|
| 10: |
针对一致性测试，OCP-IP长期计划是什么？ |
| A: |
答：当前，OCP-IP有一个自鉴定的程序，在这个程序中，会员可以获得卖方的鉴定，并且使用我们的CoreCreator产品来决定一致性。我们已经审查过目前的工业测试，并将制定有效的基于英语的规范集，以允许通过自主或者通常的功能验证方法来进行验证。很多的EDA供应商已经对使用他们的商业产品来制定这些规范集显示出了兴趣。따라서
STL 파일 및/또는 Verilog 작업 인터페이스 파일을 구성해야 합니다.
|
|
| 11: |
对于我的快速核模型OCP测试，使用STL和使用Verilog有什么不同吗？ |
| A: |
STL是基本的在汇编语言层面的语言，而Verilog任务界面是建立在高层次的Verilog语言之上的。STL只提供驱动OCP界面主设备方面的能力，而Verilog任务界面对主设备和从设备都有广阔的库存程序。
|
|
| 12: |
我可以同时使用STL和Verilog进行快速核模型的OCP测试吗？ |
| A: |
总的来说，STL和Verilog任务界面应该被看作是设计快速核模型的两种独立的设计方法。如果这两种设计界面混在一起，就会发生不可预测的结果。然而，有一种情况下Verilog任务界面可以和STL一起安全地使用。这种情况就是Verilog任务界面态的任务被用来建立主设备模型的状态环境，而STL被用来驱动主设备模型。
|
|
| 13: |
我能使用VHDL进行快速核OCP测试吗？ |
| A: |
很抱歉，到目前为止，快速核模型只支持Verilog任务界面和STL。然而，支持VHDL语言可能会作为以后发展的重点。
|
|
| 14: |
OCP协议检查器检查什么？ |
| A: |
它监视OCP界面上的所有活动，检查OCP协议的所有方面。STL或者Verilog任务界面能够用来驱动OCP界面的OCP活动，并且OCP协议检查器将检查确认OCP活动满足OCP协议所有的需求，和OCP规范保持一致。
|
|
| 15: |
OCP-IP提供什么类型的验证规则？ |
| A: |
关于验证检查的如下领域，OCP2.2规范提供了非常详细的资料：协议兼容性，配置兼容性和功能覆盖。为了允许开发者为OCP验证开发他们自己的验证工具，我们提供了这些规则设置的详细描述。这些工具可以开发成使用静态的或者动态的验证方法。
|
|
