Perform formal datapath verification (DPV) of arithmetic units using Synopsys VC Formal DPV Verify floating-point datapaths (scalar and vector) for: o IEEE-754 compliance o Rounding modes o Exception handling (NaN, Inf, denormals) Verify floating-point vector pipelines, lane alignment, and data cons