标签：XCELIUM

Drake 4个月前 (08-22) 0评论

xcelium是cadence的仿真工具，原型是incisive，对标synopsys的VCS Cadence验证套件针对Arm 设计进行了优化： JasperGold® 形式验证平台：实现IP和子系统验证，包括Arm AMBA® 协议的形式化验证 ...