Junbo Yu Qiang Zhou Jinian Bian Peak temperature control in thermal-aware behavioral synthesis through allocating the number of resources. 85-90 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509654 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#YuZB09