TransEDA验证收敛工具承诺“一体化”控制

2006-02-02 16:54:58来源: 互联网

日前公布了其下一代验证收敛解决方案Assertain的生产版本,Assertain在单一环境下提供了数字设计验证流程的“一体化”测量和控制。该产品据称已通过广泛测试,将在近日于日本Yokohama举行的2006年电子设计和解决方案博览会上展示。

Assertain采用了“要求可追踪技术(requirements traceability techniques)”,可监控从最初的文本规格到经过验证的RTL的所有验证过程。

该产品无缝集成了:规则、协议和断言检查(Rule, protocol and assertion checking),代码和断言覆盖(Code and assertion coverage),设计和断言可覆盖能力分析(Design and assertion coverability analysis),测试包优化(Test suite optimization),规范覆盖等功能(Specification coverage)。

该产品将按应用提供三个不同的级别。Assertain HDL量化纯粹RTL设计不用任何断言的动态验证。Assertain ABV用于管理基于断言的验证流程,采用了TransEDA的断言覆盖评估表。Assertain VCM是该产品最完整的版本,设计用于控制从文本规格到经校验RTL 设计的校验和验证过程。

Assertain HDL和ABV均可基于Solaris和Linux平台面向VHDL、Verilog和SystemVerilog,下月将增添PSL断言支持。Assertain HDL年订阅许可费用起价为1.6万美元。

关键字:TransEDA  设计  验证

编辑: 引用地址:http://www.eeworld.com.cn/news/eda/200602/198.html
本网站转载的所有的文章、图片、音频视频文件等资料的版权归版权所有人所有,本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如果本网所选内容的文章作者及编辑认为其作品不宜公开自由传播,或不应无偿使用,请及时通过电子邮件或电话通知我们,以迅速采取适当措施,避免给双方造成不必要的经济损失。
论坛活动 E手掌握
微信扫一扫加关注
论坛活动 E手掌握
芯片资讯 锐利解读
微信扫一扫加关注
芯片资讯 锐利解读
推荐阅读
全部
TransEDA
设计
验证

小广播

独家专题更多

2017东芝PCIM在线展会
2017东芝PCIM在线展会
TI车载信息娱乐系统的音视频解决方案
TI车载信息娱乐系统的音视频解决方案
汇总了TI汽车信息娱乐系统方案、优质音频解决方案、汽车娱乐系统和仪表盘参考设计相关的文档、视频等资源
迎接创新的黄金时代 无创想,不奇迹
迎接创新的黄金时代 无创想,不奇迹
​TE工程师帮助将不可能变成可能,通过技术突破,使世界更加清洁、安全和美好。

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

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

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

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