Search results
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2011 > 19 > 1 > 142 - 146
IEEE Transactions on Computers > 2010 > 59 > 3 > 289 - 300
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2010 > 18 > 11 > 1578 - 1589
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 2 > 289 - 298
2009 Formal Methods in Computer-Aided Design > 101 - 107
2009 IEEE 8th International Conference on ASIC > 781 - 784
2009 IEEE/AIAA 28th Digital Avionics Systems Conference > 3.A.4-1 - 3.A.4-15