EDA

实验室在EDA方面主要针对硬件的形式化验证进行研究，特别是针对电路等价性验证、模型检测、测试向量生成等领域进行了领先的研究，并自主研发了相应的形式化验证的工具。在一些来自工业数字电路实例的数据集中，其表现优于开源工具。

我们基于自主开发的形式化验证工具，提出了一种硬件系统验证方法，并成功应用于香山高性能RISC-V处理器中缓存协议的验证。该方法帮助定位到在传统仿真手段下难以发现的错误。