Tien-Chien Lee Wayne Wolf Niraj K. Jha John M. Acken Behavioral Synthesis for Easy Testability in Data Path Allocation. 29-32 1992 conf/iccd/1992 ICCD db/conf/iccd/iccd1992.html#LeeWJA92