Automatic generation of test instructions for path delay faults based-on stuck-at fault in processor cores using assignment decision diagram Conference Paper