A model-first design and verification flow for analog-digital convergence systems: A high-speed receiver example in digital TVs | IEEE Conference Publication | IEEE Xplore