ASIC设计中验证工具选择实例
发布时间:2008/5/28 0:00:00 访问次数:638
伴随着工艺技术水平的提高，当前asic设计规模和设计复杂度也不断的提高。合理的选择验证工具在asic设计过程中起了关键作用。下面就结合实际的项目开发，对比验证工具的特点，帮助大家更好的认识验证工具。
systemc 介绍
systemc是一个开发硬件的面向对象的新型建模方法，建立在c++基础上，是为了方便系统级设计和ip交换。system c是一个开放的标准，由13家eda和电子行业的公司共同控制。
包括
arm ltd.；cadence design systems,inc.；coware；fujitsu；mentor graphics；motorola；necsynopsys
system c的源码可以从http://www.systemc.org/网站上免费下载。systemc是由一些c++的类库
unix/solaris: bcc,gcc
windows: msvc
经编译后形成一个可执行的应用程序,设计人员可以通过console来观察系统的行为,验证系统功能和结构.
specman e介绍
specman elite是cadence公司的验证技术工具，它能提供可配置、可再使用和可扩展的验证组件。能够产生足够多的测试激励讯号，并能对设计行为与预期结果进行检查确认。
1. eos 系统的验证
测试eos 系统采用systemc，比较以往的以verilog，specman e，vera语言要有以下特点， 不用付高额的eda tool 费用；可以充分的利用个人电脑系统资源；实际的开发周期大大缩短。
下面是eos验证系统的设计框图。
mii: mii interface
mpi: microprocessor interface
tcm: tcmbus interface
点击看原图
rm设计和测试用例设计基于pc的c++环境开发，所有的测试用例产生的输入输出结果存为文件。verilog代码根据输入文件产生激励，根据端口的输出产生输出文件(*.dump)。结果的检查是通过比较所有的rm输出的文件（*.ref）和verilog输出的文件（*.dump）。
rm设计思路，基于数据流设计，大大减少了具体硬件实现上的细节，提高了rm设计效率。
这个基于rm（reference model）设计的方法，在项目前期验证设计系统结构设计是否合理；后面验证可以继承项目前期系统结构设计阶段的成果。同时基于硬件资源环境4 workstations 和13 pc。由于pc资源充足，把测试用例的设计和rm测试在pc上进行设计。由于verilog的开发在workstation环境下，并且资源紧张，是项目开发进度的瓶颈，所以选择verilog速度最优的验证途经。
基于specmane实现测试sdh系统软件
cpxxx支持的sdh业务基本复用结构如下：
点击看原图根据数据结构特点和e语言特点，创建了stm4、stm1、aug1、au4、au3、vc4、tug3、tug2、tu3、tu2、tu12、tu11、vc3、vc2、vc12、vc11、c4、c3、c2、c12和c11基本数据结构。实际的测试数据是通过扩展基本数据结构的方法配置sdh数据生成帧。可以配置数据结构包括stm4、stm1、aug1、au4、au3、vc4、tug3、tug2、tu3、tu2、tu12、tu11、vc3、vc2、vc12、vc11、c4、c3、c2、c12、c11。配置方法的实质是对各种数据结构生成的初始化函数进行个性化扩展。 这种基于e语言的验证设计环境，可以和verilog联合仿真。但是仿真速度比较慢，单一的verilog仿真速度的1/4～1/3，在验证工作量比较大的项目中，这是个瓶颈。所以在实际的验证中，我们的策略是尽可能的把复杂的模块进行详细的模块级验证。因为每个模块功能特性不一样，这样就需要维护的验证环境比较多。
点击看原图
systemc 介绍
systemc是一个开发硬件的面向对象的新型建模方法，建立在c++基础上，是为了方便系统级设计和ip交换。system c是一个开放的标准，由13家eda和电子行业的公司共同控制。
包括
arm ltd.；cadence design systems,inc.；coware；fujitsu；mentor graphics；motorola；necsynopsys
system c的源码可以从http://www.systemc.org/网站上免费下载。systemc是由一些c++的类库
unix/solaris: bcc,gcc
windows: msvc
经编译后形成一个可执行的应用程序,设计人员可以通过console来观察系统的行为,验证系统功能和结构.
specman e介绍
specman elite是cadence公司的验证技术工具，它能提供可配置、可再使用和可扩展的验证组件。能够产生足够多的测试激励讯号，并能对设计行为与预期结果进行检查确认。
1. eos 系统的验证
测试eos 系统采用systemc，比较以往的以verilog，specman e，vera语言要有以下特点， 不用付高额的eda tool 费用；可以充分的利用个人电脑系统资源；实际的开发周期大大缩短。
下面是eos验证系统的设计框图。
mii: mii interface
mpi: microprocessor interface
tcm: tcmbus interface
点击看原图 rm设计思路，基于数据流设计，大大减少了具体硬件实现上的细节，提高了rm设计效率。
这个基于rm（reference model）设计的方法，在项目前期验证设计系统结构设计是否合理；后面验证可以继承项目前期系统结构设计阶段的成果。同时基于硬件资源环境4 workstations 和13 pc。由于pc资源充足，把测试用例的设计和rm测试在pc上进行设计。由于verilog的开发在workstation环境下，并且资源紧张，是项目开发进度的瓶颈，所以选择verilog速度最优的验证途经。 cxx支持的sdh业务基本复用结构如下：
点击看原图根据数据结构特点和e语言特点，创建了stm4、stm1、aug1、au4、au3、vc4、tug3、tug2、tu3、tu2、tu12、tu11、vc3、vc2、vc12、vc11、c4、c3、c2、c12和c11基本数据结构。实际的测试数据是通过扩展基本数据结构的方法配置sdh数据生成帧。可以配置数据结构包括stm4、stm1、aug1、au4、au3、vc4、tug3、tug2、tu3、tu2、tu12、tu11、vc3、vc2、vc12、vc11、c4、c3、c2、c12、c11。配置方法的实质是对各种数据结构生成的初始化函数进行个性化扩展。 这种基于e语言的验证设计环境，可以和verilog联合仿真。但是仿真速度比较慢，单一的verilog仿真速度的1/4～1/3，在验证工作量比较大的项目中，这是个瓶颈。所以在实际的验证中，我们的策略是尽可能的把复杂的模块进行详细的模块级验证。因为每个模块功能特性不一样，这样就需要维护的验证环境比较多。
点击看原图
伴随着工艺技术水平的提高，当前asic设计规模和设计复杂度也不断的提高。合理的选择验证工具在asic设计过程中起了关键作用。下面就结合实际的项目开发，对比验证工具的特点，帮助大家更好的认识验证工具。
组成。用system c开发的硬件模型可以用标准的c++编译器来编译：
rm设计和测试用例设计基于pc的c++环境开发，所有的测试用例产生的输入输出结果存为文件。verilog代码根据输入文件产生激励，根据端口的输出产生输出文件(*.dump)。结果的检查是通过比较所有的rm输出的文件（*.ref）和verilog输出的文件（*.dump）。
基于specmane实现测试sdh系统软件
相关技术资料
相关IC型号
深圳服务热线：13751165337 13692101218
粤ICP备09112631号-6(miitbeian.gov.cn)
公网安备44030402000607深圳市碧威特网络技术有限公司
付款方式
把51电子网设为首页 把51电子网加入收藏夹 给51电子网投诉建议
库存上载：service@51dzw.com
版权所有:51dzw.COM 粤ICP备09112631号-6(miitbeian.gov.cn) 服务热线(深圳)：13751165337 13692101218 传真：0755-83035052 投诉电话:0755-83030533
