High-level BIST synthesis for delay testing | IEEE Conference Publication | IEEE Xplore