Design and Verification of a SAR ADC SystemVerilog Real Number Model. - Nikolaos Georgoulopoulos; Theodora Mamali; Alkis A. Hatzopoulos (J. Electron. Test., 2024)