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

Tool flow: Route A (full synthesis) versus Route B (elaborate only)

DOI:10.60797/itech.2026.11.8.1

Display full sizeDownload image