Formal Test Point Insertion for Region-based Low-Capture-Power Compact At-Speed Scan Test | IEEE Conference Publication | IEEE Xplore