Verifying EDA and compiler optimizations once and for all
https://samuelcoward.co.uk/blog/2026/parabit/
A Multi-Width Parametric Bitvector Equivalence Solver
https://samuelcoward.co.uk/assets/pdf/Parabit.pdf
CAV 2026
Luigi Rinaldi, John Wickerson, Samuel Coward