Avi Ziv

2007
25		Eyal Bin, Avi Ziv, Shmuel Ur: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers Springer 2007
24	EE	Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv: Verification Coverage: When is Enough, Enough? DAC 2007: 744-745
23	EE	Laurent Fournier, Avi Ziv: Using Virtual Coverage to Hit Hard-To-Reach Events. Haifa Verification Conference 2007: 104-119
2006
22	EE	Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen: Scheduling-based test-case generation for verification of multimedia SoCs. DAC 2006: 348-351
21	EE	Amir Nahir, Yossi Shiloach, Avi Ziv: Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. Haifa Verification Conference 2006: 16-33
20	EE	Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv: Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation. IEEE Trans. Computers 55(11): 1344-1355 (2006)
19	EE	Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar: Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Computers 55(11): 1367-1379 (2006)
2004
18	EE	Sigal Asaf, Eitan Marcus, Avi Ziv: Defining coverage views to improve functional coverage analysis. DAC 2004: 41-44
17	EE	Shai Fine, Shmuel Ur, Avi Ziv: Probabilistic regression suites for functional verification. DAC 2004: 49-54
16	EE	Avi Ziv: Stimuli Generation with Late Binding of Values. DATE 2004: 558-563
15	EE	Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. IEEE Design & Test of Computers 21(2): 84-93 (2004)
2003
14	EE	Shai Fine, Avi Ziv: Coverage directed test generation for functional verification using bayesian networks. DAC 2003: 286-291
13	EE	Avi Ziv: Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions . DATE 2003: 10834-10841
12	EE	Avi Ziv, Merav Aharoni, Sigal Asaf: Solving Range Constraints for Binary Floating-Point Instructions. IEEE Symposium on Computer Arithmetic 2003: 158-164
11		Avi Ziv, Laurent Fournier: Solving the generalized mask constraint for test generation of binary floating point add operation. Theor. Comput. Sci. 291(2): 183-201 (2003)
2002
10	EE	Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv: Hole analysis for functional coverage data. DAC 2002: 807-812
9	EE	Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Systems Journal 41(3): 386-402 (2002)
2001
8		Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv: Cost evaluation of coverage directed test generation for the IBM mainframe. ITC 2001: 793-802
1998
7	EE	Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv: User Defined Coverage - A Tool Supported Methodology for Design Verification. DAC 1998: 158-163
6	EE	Yossi Malka, Avi Ziv: Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data. DAC 1998: 644-649
5		Avi Ziv, Jehoshua Bruck: Analysis of Checkpointing Schemes with Task Duplication. IEEE Trans. Computers 47(2): 222-227 (1998)
1997
4		Avi Ziv, Jehoshua Bruck: Performance Optimization of Checkpointing Schemes with Task Duplication. IEEE Trans. Computers 46(12): 1381-1386 (1997)
3		Avi Ziv, Jehoshua Bruck: An On-Line Algorithm for Checkpoint Placement. IEEE Trans. Computers 46(9): 976-985 (1997)
1994
2	EE	Sanko Lan, Avi Ziv, Abbas El Gamal: Placement and Routing for a Field Programmable Multi-Chip Module. DAC 1994: 295-300
1		Avi Ziv, Jehoshua Bruck: Analysis of Checkpointing Schemes for Multiprocessor Systems. Symposium on Reliable Distributed Systems 1994: 52-61

Coauthor Index

1	Allon Adir	[15]
2	Merav Aharoni	[12]
3	Eli Almog	[15]
4	Sigal Asaf	[12] [18]
5	Hezi Azatchi	[19]
6	Francine Bacchini	[24]
7	Eyal Bin	[9] [25]
8	Jehoshua Bruck	[1] [3] [4] [5]
9	Roy Emek	[9] [22]
10	Shai Fine	[14] [17] [20]
11	Tom Fitzpatrick	[24]
12	Laurent Fournier	[11] [15] [19] [23]
13	Ari Freund	[20]
14	Abbas El Gamal (Abbas A. El Gamal)	[2]
15	Raanan Grinwald	[7]
16	Eran Harel	[7]
17	Alan J. Hu	[24]
18	Itai Jaeger	[20]
19	Tal Keidar	[22]
20	David Lacey	[24]
21	Oded Lachish	[10]
22	Sanko Lan	[2]
23	Yossi Malka	[6]
24	Yishay Mansour	[20]
25	Eitan Marcus	[10] [15] [18] [19]
26	Steven Mittermaier	[8]
27	Amir Nahir	[21] [22]
28	Gilly Nativ	[8]
29	Yehuda Naveh	[20]
30	Michael Orgad	[7]
31	Andrew Piziali	[24]
32	Rajeev Ranjan	[24]
33	Michal Rimon	[15]
34	Nir Ronen	[22]
35	Yossi Shiloach	[21]
36	Gil Shurek	[9]
37	Mercedes Tan	[24]
38	Shmuel Ur	[7] [8] [10] [17] [19] [25]
39	Michael Vinov	[15]
40	Keren Zohar	[19]

Colors in the list of coauthors