|
|
Jeda Technologies为之前推出的SystemC断言(NSCa)验证自动化工具包增加了交易级断言,以支持更高抽象级的建模和验证。
NSCa原本是一种SystemC断言开发和调试环境。其断言语法据称比直接用SystemC减少了4到10倍的代码。集成开发环境提供调试、覆盖和追踪工具,还有编辑和make-file生成。然而,NSCa至今为止仅支持周期级断言。有了抽象级断言支持后,用户能专注编写和读取等操作,不用操心实现一次读写的单独时钟周期。交易级断言可能在执行读或写时,指定一个假定会发生或不会发生的事件。
交易级断言将使系统架构师应用NSCa的空间更广阔,Jeda市场营销副总裁Steve Pollock表示。“架构师没有工作在周期信号级,而是更高级。”交易级断言能帮助捕捉架构师的意图,他指出。这有利于进行约束随机测试或生成大量流量。
该交易级断言功能本月可上市。NSCa一年许可费起价25,000元。
ABB以电气问题解决专家之志，回答未来之问。讲述与中国用户携手开拓创新、引领行业发展、推动绿色转型的合作故事，共同谱写安全、智慧和可持续的电气化未来。
魏德米勒麒麟系列隆重上市，以“飞、超、好”的开启新篇章。麒麟系列启势，中国智造全速出发。与此同时，麒麟MV强势出街，传递
2026中国国际工业博览会(简称“中国工博会”)定档于2026年10月12日-16日在国家会展中心(上海)举办。
微信扫一扫，关注IIANews公众号
微信扫一扫，进入IIANews微网
京公网安备 11011202001138号
