Force-directed scheduling for the behavioral synthesis of ASICs | IEEE Journals & Magazine | IEEE Xplore