Digital Design and Verification Platform
Explore signed range, negate (invert + 1), and wrap when values leave the representable window.