A high-level BIST synthesis method based on a region-wise heuristic for an integer linear programming