THU-DSP-LAB/ventus-gpgpu

关于承影的正确性验证

ByeBeihai opened this issue · 2 comments

当前承影GPU是否有类似传统处理器那样的C模拟器比对验证?
如果不是的话,承影目前有指令粒度的正确性验证吗?目前是如何证明设计的正确性的呢?

感谢:)