Supported by National Natural Science Foundation of China Grants(11461021);National Natural Science Foundation of Guangxi Grant(2014GXNSFAA118028);Scientific Research Foundation of Guangxi Education Department(KY2015YB306);the open fund of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis(HCIC201305);Scientific Research Project of Hezhou University(2012PYZK02;2015ZZZK16);Guangxi Colleges and Universities Key Laboratory of Symbolic Computation and Engineering Data Processing