Our paper in the 2025 IEEE 26th Latin American Test Symposium (LATS) on "Preserving and Improving Verifiability of Circuits Based on Local Transformations" is available #online ieeexplore.ieee.org/abstract/doc... #LATS2025 @unibremen.bsky.social @dsc-ub.bsky.social #PolyVer #verification