ramirez

改进验证方法

工具的问题在于，许多工具仍然在单处理器内核上运行。例如，功能仿真无法利用无限数量的核心，除非在这些核心上分布进行独立的仿真任务。虽然这有助于提高总体仿真吞吐量，但在时间紧迫的调试周期中，结果产出时间才是关键因素，此时这种方式的帮助就比较有限了。