CORDIC

A pipelined CORDIC engine covering the six coordinate/mode configurations — rotation and vectoring in circular, linear and hyperbolic systems. Accuracy is swept per function against a golden model with explicit error bounds and histograms, so you know exactly what precision you are integrating.

The single-stage recurrence is formally proven equivalent to the reference for all inputs — a complete proof, not a bounded one, because the stage is combinational. The pipeline proof covers framing and AXI-Stream discipline across all six configs, and was mutation-tested to show it can actually fail.