Formally Verified Synthesizable Floating-Point Data Types in ARCH HDL | Digital Library | PAMCET | PAMCET