Work

Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics

Year: 2022

Type: conference-paper

Source: Asia and South Pacific Design Automation Conference (ASP-DAC)

DOI: 10.1109/asp-dac52403.2022.9712573

Authors: Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao

Institutions: Xiamen University, Huawei Technologies (China), Huawei Technologies (Sweden)

Language: English

Topic: VLSI and Analog Circuit Testing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4212839743

FWCI: 1.609

Cites: 22

Cited by: 8

Related to: 10