ATPG-based preimage computation: efficient search space pruning with ZBDD. - Kameshwar Chandrasekar; Michael S. Hsiao (HLDVT, 2003)

Decision Selection and Learning for an All-Solutions ATPG Engine. - Kameshwar Chandrasekar; Michael S. Hsiao (ITC, 2004)

Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation. - Kameshwar Chandrasekar; Michael S. Hsiao (DATE, 2005)

Forward image computation with backtracing ATPG and incremental state-set construction. - Kameshwar Chandrasekar; Michael S. Hsiao (ACM Great Lakes Symposium on VLSI, 2005)

State Set Management for SAT-based Unbounded Model Checking. - Kameshwar Chandrasekar; Michael S. Hsiao (ICCD, 2005)

Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs. - Kameshwar Chandrasekar; Michael S. Hsiao (VLSI Design, 2005)

Implicit Search-Space Aware Cofactor Expansion: A Novel Preimage Computation Technique. - Kameshwar Chandrasekar; Michael S. Hsiao (ICCD, 2006)

A Study of Implication Based Pseudo Functional Testing. - Manan Syal; Kameshwar Chandrasekar; Vishnu C. Vimjam; Michael S. Hsiao; Yi-Shing Chang; Sreejit Chakravarty (ITC, 2006)

Search-space Aware Learning Techniques for Unbounded Model Checking and Path Delay Testing. - Kameshwar Chandrasekar (2007)

CONCAT: CONflict Driven Learning in ATPG for Industrial designs. - Surendra Bommu; Kameshwar Chandrasekar; Rahul Kundu; Sanjay Sengupta (ITC, 2008)

Low Coverage Analysis using dynamic un-testability debug in ATPG. - Kameshwar Chandrasekar; Surendra Bommu; Sanjay Sengupta (VTS, 2011)

A scan pattern debugger for partial scan industrial designs. - Kameshwar Chandrasekar; Supratik K. Misra; Sanjay Sengupta; Michael S. Hsiao (DATE, 2012)

A Cube-Aware Compaction Method for Scan ATPG. - Sharada Jha; Kameshwar Chandrasekar; Weixin Wu; Ramesh Sharma; Sanjay Sengupta; Sudhakar M. Reddy (VLSID, 2014)