IEEE TRANSACTIONS ON COMPUTERS, vol. 63, no. 5, page. 1085 - 1096, 2014-05
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 30, no. 1, page. 110 - 123, 2011-01