Rami Beidas Jianwen Zhu Scalable interprocedural register allocation for high level synthesis. 511-516 2005 conf/aspdac/2005 ASP-DAC http://doi.acm.org/10.1145/1120725.1120951 db/conf/aspdac/aspdac2005.html#BeidasZ05