Simulation-Based Combinational Equivalence Checking With Multiple GPUs

doi:10.1109/tcad.2026.3661840

Simulation-Based Combinational Equivalence Checking With Multiple GPUs

2026-02-06

0

PRE

AI

T

Tianji Liu

E

Evangeline F. Y. Young

DOI：10.1109/tcad.2026.3661840

原文链接

原文求助

摘要

En 中文

组合等价性检查（CEC）是数字设计实现流程中的一个基础问题，由于其co-NP完全性，不太可能存在通用的有效算法。近期CEC的研究主要关注SAT扫描，但由于新且复杂的持续涌现，仍需不断探索新方法。本文提出了一种不同于SAT的解决CEC的视角，即穷尽仿真，并构建了一个基于并行算法的仿真CEC引擎，该引擎可高效在多GPU上执行。所提出的多GPU CEC引擎在实验的9个大型案例中独立解决了4个，与ABC中的检查器相比，最高加速比达到724.23倍。此外，GPU引擎与ABC检查器的组合，相比独立使用的ABC检查器，平均加速7.94倍；相比使用单块A6000 GPU的商业检查器，平均加速15.01倍。

Keyword:

Combinational equivalence checking (CEC)

GPU

hardware formal verification

logic synthesis

multi-GPU algorithms

parallel computing

Simulation-Based Combinational Equivalence Checking With Multiple GPUs

摘要

期刊

机构

引用论文