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
设计
验证

小广播

独家专题更多

富士通铁电随机存储器FRAM主题展馆
富士通铁电随机存储器FRAM主题展馆
馆内包含了 纵览FRAM、独立FRAM存储器专区、FRAM内置LSI专区三大部分内容。 
走,跟Molex一起去看《中国电子消费品趋势》!
走,跟Molex一起去看《中国电子消费品趋势》!
 
带你走进LED王国——Microchip LED应用专题
带你走进LED王国——Microchip LED应用专题
 

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

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

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

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