A Verilog Mixed Signal Model of a 10-bit Pipeline Analog-to-Digital Converter | IEEE Conference Publication | IEEE Xplore