|
|
Jeda Technologies为之前推出的SystemC断言(NSCa)验证自动化工具包增加了交易级断言,以支持更高抽象级的建模和验证。
NSCa原本是一种SystemC断言开发和调试环境。其断言语法据称比直接用SystemC减少了4到10倍的代码。集成开发环境提供调试、覆盖和追踪工具,还有编辑和make-file生成。然而,NSCa至今为止仅支持周期级断言。有了抽象级断言支持后,用户能专注编写和读取等操作,不用操心实现一次读写的单独时钟周期。交易级断言可能在执行读或写时,指定一个假定会发生或不会发生的事件。
交易级断言将使系统架构师应用NSCa的空间更广阔,Jeda市场营销副总裁Steve Pollock表示。“架构师没有工作在周期信号级,而是更高级。”交易级断言能帮助捕捉架构师的意图,他指出。这有利于进行约束随机测试或生成大量流量。
该交易级断言功能本月可上市。NSCa一年许可费起价25,000元。
ABB以电气问题解决专家之志，回答未来之问。讲述与中国用户携手开拓创新、引领行业发展、推动绿色转型的合作故事，共同谱写安全、智慧和可持续的电气化未来。
会议介绍： 1. 机器人第七轴的介绍 2. 机器人第七轴的优势和应用介绍 3. 第七轴所用直线模组介绍
本次会议聚焦AI读码技术在锂电汽车行业的创新应用，探讨如何通过AI赋能实现产线自动化、数据可视化及决策智能化。
微信扫一扫，关注IIANews公众号
微信扫一扫，进入IIANews微网
京公网安备 11011202001138号
