Monica Farkas

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret
A Methodology for the Verification of a "System on Chip". DAC (1999)
Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD (1996)