Real number modeling of a flash ADC using SystemVerilog | IEEE Conference Publication | IEEE Xplore