Enhancing bug hunting using high-level symbolic simulation. - Hong-Zu Chou; I-Hui Lin; Ching-Sung Yang; Kai-Hui Chang; Sy-Yen Kuo (ACM Great Lakes Symposium on VLSI, 2009)