Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.

Mingxuan Yuan Xiuqiang He Zonghua Gu Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. 295-304 2008 IEEE Real-Time and Embedded Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.39 conf/rtas/2008 db/conf/rtas/rtas2008.html#YuanHG08