Search results for: G. Singh
2009 Formal Methods in Computer-Aided Design > 180 - 183
IEEE Journal of Solid-State Circuits > 2008 > 43 > 9 > 2099 - 2108
2009 Formal Methods in Computer-Aided Design > 180 - 183
IEEE Journal of Solid-State Circuits > 2008 > 43 > 9 > 2099 - 2108