Utilizing GPGPUs for design validation with a modified Ant Colony Optimization. - Min Li 013; Kelson Gent; Michael S. Hsiao (HLDVT, 2011)

Design validation of RTL circuits using evolutionary swarm intelligence. - Min Li 013; Kelson Gent; Michael S. Hsiao (ITC, 2012)

Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking. - Kelson Gent; Michael S. Hsiao (Asian Test Symposium, 2013)

Dual-Purpose Mixed-Level Test Generation Using Swarm Intelligence. - Kelson Gent; Michael S. Hsiao (ATS, 2014)

Signal domain based reachability analysis in RTL circuits. - Sharad Bagri; Kelson Gent; Michael S. Hsiao (ISQED, 2015)

Abstraction-based relation mining for functional test generation. - Kelson Gent; Michael S. Hsiao (VTS, 2015)

Fast Multi-level Test Generation at the RTL. - Kelson Gent; Michael S. Hsiao (ISVLSI, 2016)

A control path aware metric for grading functional test vectors. - Kelson Gent; Michael S. Hsiao (LATS, 2016)

High Quality Test Generation at the Register Transfer Level. - Kelson Gent (2016)

A framework for fast test generation at the RTL. - Kelson Gent; Akash Agrawal; Michael S. Hsiao (VTS, 2017)