码迷,mamicode.com
首页 > 系统相关 > 详细

synopsys.Vera.vI-2014.03.Linux32_64 2CD 测试向量自动生成

时间:2014-10-13 13:42:09      阅读:313      评论:0      收藏:0      [点我收藏+]

标签:des   style   color   io   os   使用   ar   for   strong   

synopsys.Vera.vI-2014.03.Linux32_64 2CD 测试向量自动生成
          Vera验证系统满足了验证的需要,允许高效、智能、高层次的功能验证。Vera验证系统已被Sun、NEC、Cisco等公司广泛使用以验证其实际的产品,从单片ASIC到多片ASIC组成的计算机和网络系统,从定制、半定制电路到高复杂度的微处理器。

 

Sidefx Houdini Master v8.2.31 1CD(创建高级视觉效果的终极工具)

Sidefx Houdini Master v8.1.666 Linux GCC32 1CD

 

Pixologic产品:

ZBrush v2.0 1CD(出色的专业三维角色建模软件)

 

Act-3D产品:

Abvent PhotoCAD V1.0-ISO 1CD(全景图像制作软件。你使用它制作的图像就象“本来就是这样子”或与其它的建筑设计或3D
场景结合)

 

3D.Shop.Modeldesign.v2.7.WinALL 1CD(立体和平面建模工具)

3D.World.Studio.v5.47 1CD(3D场景构建软件)

3D动画制作软体.iClone.1.52 1CD

A3DStitcher.v1.0.0.0.WinALL 1CD(全景图像制作软件)

AC3D.v5.0.21.Linux 1CD(3D模型制作软件,可用于游戏、虚拟现实和飞行仿真、科学医疗以及一般的数据可视化)

Bauhaus.Mirage.Studio.Cracked.v1.5a 1CD(制作动画以及特殊效果的套件。适用于电影,视频,广播,卡通/2D动画等领
域)

Blacksmith.3D.Suite.v2.2 1CD(强大的3D设计软件,主要为快速绘制和塑造变形物体所设计)

Boris Red 3GL v3.04 incl Plugins Multilanguage 1CD(一套3D合成、字幕、和特效相结合的非编软件)

 

CAMbridge Animation Systems Animo v6.0 1CD (Animo是第一个集二维、三维动画于一体的软件包)

Ceetron.GLview.Inova.v8.1.1 1CD(先进的三维演示程序)

Converter.Solutions.Easycut.v6.0.5.14 1CD(广告工程专业软件,可用于广告设计、 切割、雕版、镭射、打印等)

Curious.Labs.Poser.v6.0-ISO 1CD(人体三维动画制作软件)

DAZ.Bryce.v5.5 1CD(强大的自然风景3D软件)

DGS Ramsete III v9.05 1CD(设计、修改和润色的工具)

 

|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
软件比较多,请使用Ctrl+F键来查询您要的软件

客服QQ: 16264558    客服QQ: 16264558

客服Email: jztsofts@qq.com (来信必回) 

联系电话:13963782271(发详细软件名称至短信)

|||||||||||||||||||||||||||||||||||||||||||||||||||||||||

Drafix.Pro.Landscape.v11.2-ISO 3CD(专业园林设计(环境设计)软件,包括平面设计、立面效果和整体方案三个模块组
成)

 

Electric Image Animation System 7.0.1 1CD(最新3D图像和动画设计系统)

FaceGen Modeller v3.0 1CD(人头建模软件)

Facegen Customizer v1.1.2(人头 及脸部建模软件)

Fast.Plans.v11.WinALL 1CD(绘制建筑、房间等等的布局规划)

FreeWorld3D.v1.1.6 1CD(交互式的三维立体地形地貌生成和编辑软件, 可用于生成从简单的游戏场景到复杂户外环境)

GardenGraphics DynaSCAPE Professiona v3.02 1CD (专业的庭园、园林建筑设计规划软件)

Genemation.GenCrowd.3D.v2.0 1CD(3D面部合成人物建模工具)

Geomatic Studio v10 SR1 1CD(复杂的形体外表建模软件,支持有限元分析和计算流体动力学)

Hash.Animation.Master.2005.v11.1H 1CD(功能强大,简单易用的专业3D图片、动画制作软件)

Hexagon.v2.1-ISO 1CD(3D建模的完整工具)

 

Image-Pro Plus v6.0 1CD(专业图像分析软件)

Inivis.AC3D.v5.0.WinALL 1CD(3D设计软件)

Informatix.Piranesi.v5-ISO 1DVD(空间彩绘专家)

IlluMinate.Labs.Turtle.v1.1.5.2.for.Maya.6.and.6.5 1CD

Knoll Light Factory v2.5 1CD(世界上最多使用者的动画绘图工具,主要是模拟光线的效果,称之为”闪耀”)

LightRay3D v1.3.5 1CD(3D建模、渲染、动画和游戏制作程序)

Luxology MODO v301 Build 22855 1CD(新型多边形和细分建模软件)

Luxology MODO v301 Build 22855 MAC OSX 1CD

Megatech.MegaCAD.3D.v2008 1CD(新颖、稳定、集成3D的全功能2D模型绘制系统)

Nexgen.Ergonomics.ManneQuinPRO.v10.2 1CD(为你的产品作人性化设计和评估提供拟人3D模型, 你可以对此人体模型作多种
形式变换,进行全方位的模拟验证)

 

Planetside.Software.Terragen.v0.9.43.WinALL 1CD(景观产生器)

Poser v7.0 1DVD(3D 角色动画)

Quest3D VR Edition 4.0.0 1CD(3D、VR、游戏开发)

 

Right Hemisphere Deep Exploration v5.0.2.1477 CAD Edition 1CD

Vera验证系统的基本思想是产生灵活的并能自我检查的测试向量,然后将其结合到test-bench中以尽可能充分测试所设计的电路。Vera验证系统适用于功能验证的各个层次,它具有以下特点:与设计环境的紧密集成、启发式及全随机测试、数据及协议建模、功能代码覆盖率分析。 Synopsys公司的Vera是为模块、子系统、和整个系统提供完整测试向量自动生成的工具。Vera 测试向量自动生成技术基于OpenVera。OpenVera是一个直观的、高级的、面向对象的编程语言,它是专为满足功能测试的特殊需求而开发出来的。

synopsys.Vera.vI-2014.03.Linux32_64 2CD 测试向量自动生成

标签:des   style   color   io   os   使用   ar   for   strong   

原文地址:http://www.cnblogs.com/q16264558/p/4021716.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!