A platform for dynamic thermal management of FPGA-based soft-core processors via Dynamic Frequency Scaling | IEEE Conference Publication | IEEE Xplore