Residue Number System arithmetic in VHDL and Chinese Remainder Theorem-based residue-to-number conversion, verified against a Python golden model.