GPU验证和CPU验证哪个更有挑战？

没用过SC的constraint，完全基于C++架构实现，不知道性能如何，以及能够支持的复杂度怎么样。

你的这个观点和treavon几乎是一样的！看来做CPU验证对软件的执行，FPGA的使用都有要求。这个听上去很有意思！谢谢你们的指点！