Search results
DAC Design Automation Conference 2012 > 327 - 333
2010 Second World Congress on Software Engineering > 2 > 342 - 345
2010 East-West Design&Test Symposium (EWDTS) > 425 - 427
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 10 > 1495 - 1508
2009 Formal Methods in Computer-Aided Design > 108 - 115
2008 International SoC Design Conference > 1 > I-387 - I-390
2008 45th ACM/IEEE Design Automation Conference > 812 - 815