Automation of Nordig verification for digital TV receivers | IEEE Conference Publication | IEEE Xplore