首页 > 标签：Axiomise

Axiomise提出了一种独特的正式验证解决方案

2020年RISC-V峰会上展示针对RISC-V®处理器的独特的，由覆盖驱动的验证解决方案。Axiomise为RISC-V设计了一个自动化的形式验证解决方案