A Testability-Driven Technology Mapping Method for Optimized Test Point Insertion | AMiner