Вернуться к статье
SAT-генерация тестовых векторов на elaborate-представлении RTL без этапа логического синтеза: экспериментальное обоснование маршрута и перспективы ранней характеризации блоков
Stuck-at fault coverage
Benchmark | A: det/total | A: FC, % | A: unt | B: det/total | B: FC, % | B: unt |
bench_xor_a | 10/10 | 100.00 | 0 | 10/10 | 100.00 | 0 |
bench_xor_b | 10/10 | 100.00 | 0 | 10/10 | 100.00 | 0 |
bench_alu | 480/480 | 100.00 | 0 | 474/474 | 100.00 | 0 |
bench_shifter | 1110/1112 | 100.00 | 2 | 1142/1142 | 100.00 | 0 |
bench_redundant | 16/16 | 100.00 | 0 | 20/22 | 100.00 | 2 |
bench_counter | 200/200 | 100.00 | 0 | 200/200 | 100.00 | 0 |