SAT-генерация тестовых векторов на elaborate-представлении RTL без этапа логического синтеза: экспериментальное обоснование маршрута и перспективы ранней характеризации блоков

Larrabee miter construction for stuck-at fault detection

DOI:10.60797/itech.2026.11.8.2

Display full sizeDownload image