A high-level BIST synthesis method based on a region-wise heuristic for an integer linear programming | IEEE Conference Publication | IEEE Xplore