The functional verification of a satellite transponder. - Vinicius Martins; Jerson Paulo Guex; Luciana Shiroma Montali; Jiang Chau Wang (LASCAS, 2018)