Mentor Graphics公司近日宣布与Renesas科技公司完成一项联合开发工作，使Mentor Graphics 0-In断言综合技术以及基于断言的验证流与......