BDD-Based Self-Test Program Generation for Processor Cores. - Hao Cheng; Chi-Jhe Li; Hung-Lin Chen; Jiun-Lang Huang (ITC-Asia, 2023)