Chang, J.J.Chang林呈祥Lin, Chen-ShangChen-ShangLin2009-02-042018-07-062009-02-042018-07-061991-12http://ntur.lib.ntu.edu.tw//handle/246246/121247en-USBollean Resubstition with ATPGconference paper