Loganathan Lingappan

A Test Generation Framework for Quantum Cellular Automata Circuits

Pallav Gupta, Niraj K. Jha, Loganathan Lingappan · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2007 · 51 citations

Engineering, Computer Engineering, Computer Science +13

Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs

Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan · 2010 · 34 citations

Computing, Computer Science, Algorithms +15

Satisfiability-Based Automatic Test Program Generation and Design for Testability for Microprocessors

Loganathan Lingappan, Niraj K. Jha · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2007 · 26 citations

Engineering, Computer Engineering, Computer Science +15

Satisfiability-based test generation for nonseparable RTL controller-datapath circuits

Loganathan Lingappan, Srivaths Ravi, Niraj K. Jha · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 26 citations

Engineering, Computer Engineering, Computer Science +12

A SMT-based diagnostic test generation method for combinational circuits

Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan et al. · 2012 · 23 citations

Computing, Computer Engineering, Computer Science +17