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. 28, no. 6, page. 926 - 930, 2009-06