jeda technologies为之前推出的systemc断言(nsca)验证自动化工具包增加了交易级断言，以支持更高抽象级的建模和验证。
nsca原本是一种systemc断言开发和调试环境。其断言语法据称比直接用systemc减少了4到10倍的代码。集成开发环境提供调试、覆盖和追踪工具，还有编辑和make-file生成。然而，nsca至今为止仅支持周期级断言。有了抽象级断言支持后，用户能专注编写和读取等操作，不用操心实现一次读写的单独时钟周期。交易级断言可能在执行读或写时，指定一个假定会发生或不会发生的事件。
交易级断言将使系统架构师应用nsca的空间更广阔，jeda市场营销副总裁steve pollock表示。“架构师没有工作在周期信号级，而是更高级。”交易级断言能帮助捕捉架构师的意图，他指出。这有利于进行约束随机测试或生成大量流量。
该交易级断言功能本月可上市。nsca一年许可费起价25,000元。
