The functional verification of a satellite transponder | IEEE Conference Publication | IEEE Xplore