Kelson Gent

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 3

Top Topics

Swarm Intelligence

Reachability Analysis

Bounded Model Checking

Collective Behavior

Top Venues

Publications

Kelson Gent, Akash Agrawal, Michael S. Hsiao
A framework for fast test generation at the RTL. VTS (2017)
Kelson Gent, Michael S. Hsiao
Fast Multi-level Test Generation at the RTL. ISVLSI (2016)
Kelson Gent, Michael S. Hsiao
A control path aware metric for grading functional test vectors. LATS (2016)
Sharad Bagri, Kelson Gent, Michael S. Hsiao
Signal domain based reachability analysis in RTL circuits. ISQED (2015)
Kelson Gent, Michael S. Hsiao
Abstraction-based relation mining for functional test generation. VTS (2015)
Kelson Gent, Michael S. Hsiao
Dual-Purpose Mixed-Level Test Generation Using Swarm Intelligence. ATS (2014)
Kelson Gent, Michael S. Hsiao
Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking. Asian Test Symposium (2013)
Min Li, Kelson Gent, Michael S. Hsiao
Design validation of RTL circuits using evolutionary swarm intelligence. ITC (2012)
Min Li, Kelson Gent, Michael S. Hsiao
Utilizing GPGPUs for design validation with a modified Ant Colony Optimization. HLDVT (2011)