Behavioral modeling and simulation of high-speed analog-to-digital converters using SystemC | IEEE Conference Publication | IEEE Xplore