Search results
Design Automation Conference > 777 - 780
2009 Formal Methods in Computer-Aided Design > 120 - 127
2009 NORCHIP > 1 - 4
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2006 > 14 > 6 > 616 - 624
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 1996 > 4 > 1 > 113 - 129
IEEE Transactions on Education > 1987 > E-30 > 4 > 244 - 247