Вернуться к статье
SAT-генерация тестовых векторов на elaborate-представлении RTL без этапа логического синтеза: экспериментальное обоснование маршрута и перспективы ранней характеризации блоков
Cross-validation: detection of one flow's faults by the other flow's vectors
Benchmark | Vec B | Vec A | FC B→A, % | B→A PI/PO, % | FC A→B, % | A→B PI/PO, % |
bench_xor_a | 10 | 10 | 100 | 100 | 100 | 100 |
bench_xor_b | 10 | 10 | 100 | 100 | 100 | 100 |
bench_alu | 474 | 480 | 100 | 100 | 100 | 100 |
bench_shifter | 1142 | 1110 | 100 | 100 | 100 | 100 |
bench_redundant | 20 | 16 | 100 | 100 | 90.91 | 100 |
bench_counter | — | — | — | — | — | — |