Real Number Modeling of a SAR ADC behavior using SystemVerilog | IEEE Conference Publication | IEEE Xplore