José M. MendíasRomán HermidaMilagros FernándezFormal Techniques for Hardware Allocation.161-1651997conf/vlsid/1997VLSI Designhttps://doi.org/10.1109/ICVD.1997.568070https://doi.ieeecomputersociety.org/10.1109/ICVD.1997.568070db/conf/vlsid/vlsid1997.html#MendiasHF97