He, F Hung, W. N.N A Satisfiability for fpga Routing withpinrearrangements - 857-868 p. Subjects--Topical Terms: CadField Programmable Gate Arrays