酷，我们研究一下[good]//@包云岗:万众一芯平台有一个工具箱版块，提供一系列芯片验证工具，现在有支持Python写测试用例的工具picker、类似gdb的芯片RTL仿真调试器xspdb等。欢迎蔡老师的求解器也添加到这个工具箱中，让更多人用起来//@蔡少伟:在复杂芯片设计中，验证工作量占比甚至超过70%，人力成本巨大。 “万众一芯” 开放验证平台用于高性能RISC-V处理器 核“香山” 最新架构RTL代码的验证。