全球领先半导体厂商Synopsys在中国确立VMM验证方法标准

最新更新时间:2007-05-14来源: 电子工程世界关键字:环境  质量  生产  开发 手机看文章 扫描二维码
随时随地手机看文章

 中文版《SystemVerilog 验证方法学》由北京航空航天大学出版社发行

  美国加利福尼亚及中国北京,2007年5月14日——全球领先的电子设计自动化(EDA)软件工具领导厂商Synopsys今天宣布,由ARM 和 Synopsys 公司推出的SystemVerilog 验证方法学(VMM)被中国主要电子公司采用,用于开发先进验证环境。Synopsys 还宣布,《SystemVerilog 验证方法学》一书中文版已由中国航空航天大学出版发行。至今,本书的英文版已售出3,500多本。

  《SystemVerilog 验证方法学》由 ARM 和 Synopsys 公司的技术专家共同撰写,书中描绘了如何使用 SystemVerilog 创建采用覆盖主导、随机约束、基于断言验证技术的综合验证环境,同时为可互用验证组件指定了建库数据块。VMM 方法学得到全球数百家 SoC 和硅 IP验证团队的采用,加速开发基于 SystemVerilog的功能强大的验证环境,并有助于以较少时间和努力达到可测量的功能覆盖率目标。
  
  Spreadtrum 研发副总裁冀晋表示:“主流芯片设计越来越需要使用可广泛重用IP的基于SoC 的设计技术。这增加了设计的复杂性,给工程师提出更大的验证挑战,需要采用强大的新验证技术和方法。我们采用了 VMM 方法学的标准,它极大提高了我们芯片验证过程的质量和生产率。《SystemVerilog 验证方法》是为芯片设计师和验证工程师提供的一本重要且实用的参考书。”
  
  同方微电子公司 CTO 徐磊说:“强大的可预测系统化验证方法学是开发复杂SoC产品必不可少的基础。VMM 方法学将业内用于SystemVerilog 开发和采用先进的验证技术的最佳实践具体化。无论是验证工程师、设计工程师还是项目主管,《SystemVerilog验证方法学》都可以帮助这些读者掌握最先进的验证方法。”
  
  CEC 华大电子设计刘伟平博士表示:“随着芯片规模越来越大、设计复杂度越来越高,芯片设计中的验证成为设计师的挑战。运用VMM 方法学的SystemVerilog可以有效地帮助芯片设计工程师解决验证挑战。我们要感谢Synopsys 和 ARM 将基于SystemVerilog的验证技术介绍给中国,并出版了《SystemVerilog验证方法学》一书。采用 VMM 方法学的中国芯片开发团队现在可以分享全球专家使用的先进设计验证方法了。”
  
  ARM中国总裁谭军表示:“SystemVerilog 在中国的广泛采用让新一代芯片开发人员能够利用先进的验证技术进行复杂的 SoC 设计。由 ARM 和 Synopsys 紧密合作共同研发的《SystemVerilog验证方法学》是利用SystemVerilog能力提高验证生产率和质量的要点指导。”
  
  Synopsys 验证市场部副总裁 George Zafiropoulos 表示:“VMM 验证方法学迅速成为 SystemVerilog 实际的行业标准,使全球芯片研发团队取得了所预测验证的成功。《SystemVerilog验证方法学》中文版的发行标志着向中国不断增长的芯片开发团队引入先进技术所迈出的一大步。”
  
  2007年5月14日、16日和17日分别在中国北京、上海、深圳举办的 Synopsys 发现验证研讨会上,将免费分发VMM 方法学技术指南和 Synopsys 最近推出的针对快速验证环境开发的 VMM Applications 将即时推出。更多信息,请浏览 http://www.synopsys.com/news/events/seminars/veri_sem.html

  《SystemVerilog验证方法学》中文版已由北京航空航天大学出版社出版发行,零售价人民币58元,国内各大书店有售。欲了解详情,请浏览www.vmm-sv.com

关键字:环境  质量  生产  开发 编辑: 引用地址:https://news.eeworld.com.cn/news/eda/200705/13536.html

上一篇:Spansion荣获龙旗战略合作伙伴奖
下一篇:飞兆半导体庆祝始创50周年及新创10周年纪念

推荐阅读

自动驾驶和环境感知传感器的数字孪生技术和应用
数字技术的采用和创新使用。 汽车生态系统数字化的一些关键驱动因素包括:对成本和质量的压力越来越大-供应链中现有的成本结构限制了潜在的成本节约。因此,汽车制造商正在转向可能控制成本和改善供应链运作的准时制(JIT)操作。供应链的数字化不仅可以提高运营效率,还可以提高运营的可追溯性和透明度。此外,人工质量控制和质量保证的错误以及系统之间的数据传输影响了产品质量以及相关成本。实施数字化解决方案,如预测性维护、监测,将减少生产停工期并优化操作。 开发符合环境法规的产品-全球各地的监管机构在使交通安全和可持续发展方面的压力越来越大,特别是为了应对污染、拥堵、气候变化以及乘客和行人安全。这些挑战中有许多是通过开发连接和智能
发表于 2022-02-08
自动驾驶和<font color='red'>环境</font>感知传感器的数字孪生技术和应用
迅为iTOP-6818 Qtopia2.2.0开发环境搭建以及编译镜像
搭建 Qtopia2.2.0 开发环境,需要先搭建 Android的编译环境,然后在 Android 编译环境的基础上,再搭建 Qtopia2.2.0 编译环境。 如果用户是使用“搭建好的 Ubuntu 镜像”,则只需要改一下环境变量,系统里面的工具和库文件都已经安装完毕了。针对Qt文件系统, 迅为电子在iTOP-6818开发板上移植的是Qtopia2.2.0版本和Qte4.7.1版本,用户在参照本章节后编译后的文件图形界面是 Qtopia2.2.0 版本。Qte4.7.1 的编译方法则在第七章
发表于 2022-01-25
迅为iTOP-6818 Qtopia2.2.0开发<font color='red'>环境</font>搭建以及编译镜像
4412嵌入式开发板建环境
本节的主要内容是,详细讲解如何搭建编译环境。这里需要注意的是,搭建过程中用到的各类软件,都需要和手册提到的版本保持一致,如果使用的是“搭建好的镜像”,则可以跳过这一节,但是编译的时候要针对性的设置一下环境变量。1 安装基本软件首先安装虚拟机“Vmware_Workstaion_wm”,然后使用虚拟机安装“Ubuntu12.04.2初始系统”。Ubuntu 的安装方法可以参考 3.2 小节来安装 Ubuntu12.04.2 原始系统。如下图所示,Ubuntu 初始系统安装完成。   输入密码“topeet”,登陆 Ubuntu,键盘上按“Ctrl+Alt+t”,弹出 Ubuntu 的控制台。如下图所示
发表于 2022-01-25
4412嵌入式开发板建<font color='red'>环境</font>
avr+开发环境+linux,win7下avr单片机开发环境的搭建
操作系统:win7 professional  x86开发软件:avr studio 4.19首先下载avr studio 4.19,因为貌似这是atmel官方最后支持jtag ice的开发环境。而且也就只有这个4的版本才支持win7,正好本人有个jtag,所以果断选择这个版本了。相关软件下载地址:貌似这个里面有很多常见的工具下载。刚开始我是用的avr studio 4.19+WinAVR-20100110这个环境搭建的开发环境。但是问题出现了,编译文件时出现了找不到编译器。出现如下的错误:make: Makefile: No such file or directory avr-objcopy: '
发表于 2022-01-19
avr+开发<font color='red'>环境</font>+linux,win7下avr单片机开发<font color='red'>环境</font>的搭建
嵌入式开发平台_4412开发板详细讲解如何搭建编译环境
本节的主要内容是,详细讲解如何搭建编译环境。这里需要注意的是,搭建过程中用到的各类软件,都需要和手册提到的版本保持一致,如果使用的是“搭建好的镜像”,则可以跳过这一节,但是编译的时候要针对性的设置一下环境变量。  详情了解:http://topeetboard.com/  更多了解:https://arm-board.taobao.com/1 安装基本软件首先安装虚拟机“Vmware_Workstaion_wm”,然后使用虚拟机安装“Ubuntu12.04.2初始系统”。Ubuntu 的安装方法可以参考 3.2 小节来安装 Ubuntu12.04.2 原始系统。如下图所示,Ubuntu 初始
发表于 2022-01-12
嵌入式开发平台_4412开发板详细讲解如何搭建编译<font color='red'>环境</font>
迅为-4412开发板QtE5.7编译环境的两种搭建方式
1. 使用已经搭建好的镜像搭建好的编译环境在网盘“iTOP4412 开发板资料汇总(不含光盘内容)iTOP-4412 开发板搭建编译环境所需要的工具包以及补丁包9-QtE5.7 的编译环境安装包2-搭建好的QtE5.7 编译环境”目录下。用户如果使用搭建好的编译环境,在简单的修改环境变量之后,就可以完成本章的编译。用户在使用搭建好的环境时,如果 ssh 连接失败的话,可以参考“14.2.1.2”小节(也就是下一节),配置 ssh 服务。如果参考“14.2.1.2”小节修改配置之后还有问题,可以参考14.2.1.3 和 14.2.1.4 小节,使用的替换工具。经过测试,在 ssh 工具无法使用的时候,这两个工具仍然可以使用。2.
发表于 2022-01-12
迅为-4412开发板QtE5.7编译<font color='red'>环境</font>的两种搭建方式
小广播
换一换 更多 相关热搜器件

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版

站点相关: 数字电视 安防电子 医疗电子 物联网

词云: 1 2 3 4 5 6 7 8 9 10

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved