Work

Auto-CEC: Combinational Equivalence Checking via Intelligent Sweeping Engine Selection

Year: 2025

Type: conference-paper

Source: International Symposium of Electronics Design Automation (ISEDA)

DOI: 10.1109/iseda65950.2025.11100798

Authors: Haonan Wei, Wentao Jiang, Zhang Hu, Zhengyuan Shi, Yinshui Xia, Lunyao Wang, Zhufei Chu

Institutions: Ningbo University, Chinese University of Hong Kong

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4413121920

FWCI: 1.982

Cites: 14

Cited by: 1

Related to: 10