Codasip携手西门子打造RISC-V领域完整的形式验证

来源：单片机与嵌入式系统应用, 2022, 22(07): 95.

<正>Codasip宣布：通过采用西门子集团Siemens EDA的OneSpin IC验证工具，扩大了其形式验证解决方案的可用工具范围，以进行全面和彻底的处理器测试。Codasip不断在处理器验证方面投入巨资，以再接再厉为业界提供最高质量的RISC-V处理器半导体知识产权（IP）。