|
|
ARM公司与Averant公司联合宣布SolidAHB静态功能验证工具,承诺能采用Amba AHB总线协议进行快速彻底的接口设计校验。该工具将由Averant公司作为其Solidify特性验证工具的附加产品进行销售。
Averant公司总裁Ramin Hojati表示,SolidAHB基本上是一种图形用户接口和一组与Solidify协同工作的验证脚本。验证脚本来源于ARM,而GUI由Averant的英国分销商Saros Technology开发。
尽管市场上也有帮助用户在仿真中验证Amba总线协议的工具,但它们需要生成测试向量,运行时间也长,Hojati指出。“我们提供运行速度非常快的工具。一旦规则通过证明,你就知道一个事实,即接口不会违反规则。它是一种比仿真更优越的验证Amba协议方法。”
该工具能帮助芯片设计师采用形式方法。Hojati称,“我们已尝试让特性验证成为主流。”SolidAHB将于12月开始付运,一年使用费为2.5万美元。该工具所需要的Solidify起价为一年4万美元。 Averant计划明年推出无需Solidify的独立版本工具。
ABB以电气问题解决专家之志，回答未来之问。讲述与中国用户携手开拓创新、引领行业发展、推动绿色转型的合作故事，共同谱写安全、智慧和可持续的电气化未来。
12月18日，《AVEVA InTouch Unlimited重塑HMI/SCADA的无限可能》在线研讨会即将开播。
为助力广大电子半导体企业洞悉行业数智化发展趋势，并提供切实可行、可靠的解决方案，推动整个行业繁荣发展，剑维软件的专家团队
微信扫一扫，关注IIANews公众号
微信扫一扫，进入IIANews微网
京公网安备 11011202001138号
