A methodology for programmable logic migration to ASICs including automatic scan chain insertion and ATPG | IEEE Conference Publication | IEEE Xplore