寄存器传输级(RTL)验证供应商Averant公司将为ARM的AMBA 3 AXI总线协议推出一款新的协议检查器SolidPC。
SolidPC for AXI由Averant和ARM合作开发,基于Averant的形式引擎,利用一套预定义的AMBA规则来验证设计严格符合AMBA AXI规范。SolidPC提供简单的按钮界面,用户无需测试平台或编程即可进行验证。
Windows、Linux和Sun Solaris平台的SolidPC for AXI于六月中旬面世,美国市场一年许可为4万美元。
关键词:
Averant
针对
总线
推出
协议
检查