Performance Modeling, Design and FPGA-based Validation of Digital Transparent Satellite Processors