Search results
IEEE Computer Architecture Letters > 2017 > 16 > 2 > 132 - 135
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2017 > 25 > 5 > 1681 - 1693
IEEE Transactions on Circuits and Systems I: Regular Papers > 2017 > 64 > 2 > 360 - 372
IEEE Transactions on Computers > 2014 > 63 > 5 > 1277 - 1286
2009 Formal Methods in Computer-Aided Design > 192 - 197