IEEE Transactions on Computer-Aided Design of Integrated Systems, vol. 31, no. 4, page. 559 - 572, 2012-04