Semantic Alignment Classification on UART (test)
325Count of SVAAssertionForge
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| AssertionForgeAlignment Iterations=32026.05 | 325 | 0.06 | 21 | 142 | 162 | |
| SpecAlignAlignment Iterations=32026.05 | 319 | 0.28 | 92 | 6 | 227 |
| Method | Links | |||||
|---|---|---|---|---|---|---|
| AssertionForgeAlignment Iterations=32026.05 | 325 | 0.06 | 21 | 142 | 162 | |
| SpecAlignAlignment Iterations=32026.05 | 319 | 0.28 | 92 | 6 | 227 |