Top down modeling and test bench development verification case study: pipeline ADC | IEEE Conference Publication | IEEE Xplore