免费工具用于跟踪验证计划

导出

摘要形式验证工具创业公司的Jasper Design Automation公司正在提供一款用于帮助IC验证团队生成并跟踪验证计划的免费工具。Jasper公司主管市场的副总裁Craig Cochran先生说：该公司提供了“浅形式工具”和“深形式工具”。浅形式工具（例如，Jasper Gold Express）通常用于证明形式断言，而深形式工具（例如，Jasper Gold）则负责运行一个系统形式测试计划，用于描述设计中需要进行形式验证的最为关键的特征。这些工具随后将对上述特征进行系统验证。

出处《电子设计技术 EDN CHINA》 2006年第11期30-30,共1页 EDN CHINA

关键词验证工具验证计划跟踪免费 AUTOMATION GOLD 测试计划系统形式

分类号 TP393.08 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

1张秋艳,赵鹏.浅论Proteus仿真工具的实例化应用[J].数字技术与应用,2016,34(6):226-226. 被引量：1
2程少康.禾口你的善片机／Arduinc聊天[J].无线电,2016,0(11):34-35.
3孙丰,章军.基于uC/OS-II的“龙芯1”SoC验证方法[J].小型微型计算机系统,2007,28(11):2051-2055. 被引量：1
4英特尔发布新的嵌入式至强处理器[J].CAD/CAM与制造业信息化,2009(9):73-73.
5苹果：全新Mac Pro明年发布支持VR和高端影视制作[J].影视制作,2017,23(4):13-13.
6英特尔向客户推出采用新型英特尔~至强~处理器的产品--具备集成I/O的Jasper Forest处理器为通讯和存储应用带来理想选择[J].办公自动化（办公设备与耗材）,2010(4):43-43.
7三红侠[J].游戏机实用技术,2010(9):85-85.
8徐岗.在Jasper Reports报表工具中使用ORM技术[J].电脑知识与技术,2006(9):108-108.
9新公司Solido优化晶体管级统计分析[J].电子设计技术 EDN CHINA,2008(2):22-22.
10朱琼.管理的分量[J].IT经理世界,2002(5):63-65.

电子设计技术 EDN CHINA

2006年第11期

浏览历史

内容加载中请稍等...

免费工具用于跟踪验证计划

相关作者

相关机构

相关主题

浏览历史