![]() | ![]() |
2009 | ||
---|---|---|
1 | EE | Hong-Zu Chou, I-Hui Lin, Ching-Sung Yang, Kai-Hui Chang, Sy-Yen Kuo: Enhancing bug hunting using high-level symbolic simulation. ACM Great Lakes Symposium on VLSI 2009: 417-420 |
1 | Kai-Hui Chang | [1] |
2 | Hong-Zu Chou | [1] |
3 | Sy-Yen Kuo | [1] |
4 | I-Hui Lin | [1] |