Analog Neural Network Verification on Iris
1.15Time (s)Proposed set-based modeling approach
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Proposed set-based modeling approachApproach=Ours2026.05 | 1.15 | 98.01 | |
| Cadence SpectreApproach=Cadence2026.05 | 865.64 | — |
Loading the SOTA2 catalog…