Renesas集成Mentor的0-In断言综合用于断言验证流

摘要

Mentor Graphics公司近日宣布与Renesas科技公司完成一项联合开发工作，使Mentor Graphics 0-In断言综合技术以及基于断言的验证流与Renesas公司LogicBench快速原型系统实现集成。作为合作成果，Renesas公司自此能够采用任何格式对断言做出规定，并将其用于从基于C语言的系统设计直至FPGA原型确定的整个验证过程中。