Monica Farkash

Using data mining to increase controllability and observability in functional verification

Monica Farkash, Monica Farkash, 2014 .

Coverage Learned Targeted Validation for incremental HW changes

Monica Farkash, Michael L. Behm, Bryan G. Hickerson, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

Distributed Dynamic BDDReordering

Monica Farkash, 2006 .

X-Gen: a random test-case generator for systems and SoCs

Yehuda Naveh, Itai Jaeger, Yoav Katz, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

Distributed dynamic BDD reordering

Monica Farkash, Ziv Nevo, Ziv Nevo, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Data mining diagnostics and bug MRIs for HW bug localization

Monica Farkash, Bryan G. Hickerson, Balavinayagam Samynathan, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Improved Decision Heuristics for High Performance SAT Based Static Property Checking

Marco Roveri, Alessandro Cimatti, Klaus Winkelmann, 2004 .