Search results
IEEE Transactions on Circuits and Systems II: Express Briefs > 2014 > 61 > 7 > 516 - 520
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2013 > 32 > 3 > 479 - 483
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 1 > 117 - 126
IEEE Transactions on Circuits and Systems II: Express Briefs > 2010 > 57 > 8 > 637 - 641
2009 NORCHIP > 1 - 4
2009 Formal Methods in Computer-Aided Design > 192 - 197