John Moondanos

A signal correlation guided ATPG solver and its applications for solving difficult industrial cases

Feng Lu, Li-C. Wang, Kwang‐Ting Cheng et al. · 2003 · 51 citations

Engineering, Machine Learning, Hardware Algorithm +20

An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability

Feijun Zheng, Kwang‐Ting Cheng, Xiaolang Yan et al. · 2007 · 28 citations

Engineering, Verification, Diagnosis +23

Sequential Redundancy Identification Using Verification Techniques

John Moondanos, Jacob A. Abraham · 2005 · 20 citations

Reliability Engineering, Engineering, Automated Reasoning +8

Automatic verification of implementations of large circuits against HDL specifications

Yatin Hoskote, Jacob A. Abraham, Donald S. Fussell et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1997 · 17 citations

Hardware Modeling, Engineering, Hardware Verification Language +19

JPEG encoding on the Intel MXP5800: a platform-based design case study

Abhijit Davare, Qi Zhu, John Moondanos et al. · 2005 · 16 citations

Lossy Compression, Hardware Modeling, Engineering +20