Simulation-Based Combinational Equivalence Checking With Multiple GPUs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2026

View at publisher
Authors: Tianji Liu, Evangeline F. Y. Young
DOI: 10.1109/tcad.2026.3661840
Cited by: 0
References: 34

Fields of Study & Subjects

Formal Methods in Verification VLSI and Analog Circuit Testing VLSI and FPGA Design Techniques

Publication details

Journal / source
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume
45
Issue
10
Pages
4915–4926
Publication date
6 February 2026