Avi Ziv
Avi Ziv
Research Staff Member, IBM
Verified email at
Cited by
Cited by
Coverage directed test generation for functional verification using bayesian networks
S Fine, A Ziv
Proceedings of the 40th annual Design Automation Conference, 286-291, 2003
Genesys-pro: Innovations in test program generation for functional processor verification
A Adir, E Almog, L Fournier, E Marcus, M Rimon, M Vinov, A Ziv
IEEE Design & Test of Computers 21 (2), 84-93, 2004
An on-line algorithm for checkpoint placement
A Ziv, J Bruck
IEEE Transactions on computers 46 (9), 976-985, 1997
User defined coverage-a tool supported methodology for design verification
R Grinwald, E Harel, M Orgad, S Ur, A Ziv
Proceedings 1998 Design and Automation Conference. 35th DAC.(Cat. No …, 1998
Using a constraint satisfaction formulation and solution techniques for random test program generation
E Bin, R Emek, G Shurek, A Ziv
IBM Systems Journal 41 (3), 386-402, 2002
A unified methodology for pre-silicon verification and post-silicon validation
A Adir, S Copty, S Landa, A Nahir, G Shurek, A Ziv, C Meissner, ...
2011 Design, Automation & Test in Europe, 1-6, 2011
Hole analysis for functional coverage data
O Lachish, E Marcus, S Ur, A Ziv
Proceedings of the 39th annual Design Automation Conference, 807-812, 2002
Method and apparatus for collecting persistent coverage data across software versions
E Farchi, T Pavela, S Ur, A Ziv
US Patent App. 09/990,802, 2003
Performance optimization of checkpointing schemes with task duplication
A Ziv, J Bruck
IEEE Transactions on Computers 46 (12), 1381-1386, 1997
Late binding of variables during test case generation for hardware and software design verification
S Ur, A Ziv
US Patent 7,003,420, 2006
Bridging pre-silicon verification and post-silicon validation
A Nahir, A Ziv, M Abramovici, A Camilleri, R Galivanche, B Bentley, ...
Design Automation Conference, 94-95, 2010
Post-silicon validation in the SoC era: A tutorial introduction
P Mishra, R Morad, A Ziv, S Ray
IEEE Design & Test 34 (3), 68-92, 2017
Analysis of checkpointing schemes with task duplication
A Ziv, J Bruck
IEEE Transactions on computers 47 (2), 222-227, 1998
Reaching coverage closure in post-silicon validation
A Adir, A Nahir, A Ziv, C Meissner, J Schumann
Hardware and Software: Verification and Testing, 60-75, 2011
Threadmill: A post-silicon exerciser for multi-threaded processors
A Adir, M Golubev, S Landa, A Nahir, G Shurek, V Sokhin, A Ziv
Proceedings of the 48th Design Automation Conference, 860-865, 2011
Cross-product functional coverage measurement with temporal properties-based assertions [logic verification]
A Ziv
2003 Design, Automation and Test in Europe Conference and Exhibition, 834-839, 2003
Analysis of checkpointing schemes for multiprocessor systems
A Ziv, J Bruck
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems, 52-61, 1994
Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems
KD Schubert, W Roesner, JM Ludden, J Jackson, J Buchert, V Paruthi, ...
IBM Journal of Research and Development 55 (3), 10: 1-10: 17, 2011
Learning microarchitectural behaviors to improve stimuli generation quality
Y Katz, M Rimon, A Ziv, G Shaked
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 848-853, 2011
Hole query for functional coverage analysis
L Fournier, A Ziv
US Patent 7,428,715, 2008
The system can't perform the operation now. Try again later.
Articles 1–20