Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Avi Ziv
@article{DBLP:journals/todaes/LinZR23,
author = {Yibo Lin and
Avi Ziv and
Haoxing Ren},
title = {Introduction to the Special Issue on Machine Learning for {CAD/EDA}},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {28},
number = {2},
pages = {14:1--14:2},
year = {2023},
url = {https://doi.org/10.1145/3586208},
doi = {10.1145/3586208},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/LinZR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/IrwinHGZ23,
author = {Brian Irwin and
Eldad Haber and
Raviv Gal and
Avi Ziv},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Neural Network Accelerated Implicit Filtering: Integrating Neural
Network Surrogates With Provably Convergent Derivative Free Optimization
Methods},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {14376--14389},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/irwin23a.html},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/IrwinHGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GalHIINZ21,
author = {Raviv Gal and
Eldad Haber and
Wesam Ibraheem and
Brian Irwin and
Ziv Nevo and
Avi Ziv},
title = {Automatic Scalable System for the Coverage-Directed Generation {(CDG)}
Problem},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {206--211},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474160},
doi = {10.23919/DATE51398.2021.9474160},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/GalHIINZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlcad/GalHIMSZ21,
author = {Raviv Gal and
Eldad Haber and
Brian Irwin and
Marwa Mouallem and
Bilal Saleh and
Avi Ziv},
title = {Using Deep Neural Networks And Derivative Free Optimization To Accelerate
Coverage Closure},
booktitle = {3rd {ACM/IEEE} Workshop on Machine Learning for CAD, {MLCAD} 2021,
Raleigh, NC, USA, August 30 - Sept. 3, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MLCAD52597.2021.9531234},
doi = {10.1109/MLCAD52597.2021.9531234},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mlcad/GalHIMSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-08883,
author = {Brian Irwin and
Eldad Haber and
Raviv Gal and
Avi Ziv},
title = {Deep Neural Network Accelerated Implicit Filtering},
journal = {CoRR},
volume = {abs/2105.08883},
year = {2021},
url = {https://arxiv.org/abs/2105.08883},
eprinttype = {arXiv},
eprint = {2105.08883},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-08883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GalKINZ20,
author = {Raviv Gal and
Haim Kermany and
Alexander Ivrii and
Ziv Nevo and
Avi Ziv},
title = {Late Breaking Results: {FRIENDS} - Finding Related Interesting Events
via Neighbor Detection},
booktitle = {57th {ACM/IEEE} Design Automation Conference, {DAC} 2020, San Francisco,
CA, USA, July 20-24, 2020},
pages = {1--2},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DAC18072.2020.9218685},
doi = {10.1109/DAC18072.2020.9218685},
timestamp = {Wed, 14 Oct 2020 10:56:17 +0200},
biburl = {https://dblp.org/rec/conf/dac/GalKINZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlcad/GalHZ20,
author = {Raviv Gal and
Eldad Haber and
Avi Ziv},
editor = {Ulf Schlichtmann and
Raviv Gal and
Hussam Amrouch and
Hai (Helen) Li},
title = {Using DNNs and Smart Sampling for Coverage Closure Acceleration},
booktitle = {{MLCAD} '20: 2020 {ACM/IEEE} Workshop on Machine Learning for CAD,
Virtual Event, Iceland, November 16-20, 2020},
pages = {15--20},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380446.3430627},
doi = {10.1145/3380446.3430627},
timestamp = {Mon, 03 May 2021 16:42:27 +0200},
biburl = {https://dblp.org/rec/conf/mlcad/GalHZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlcad/GalPRPWZ20,
author = {Raviv Gal and
David Z. Pan and
Haoxing Ren and
Manish Pandey and
Marilyn Wolf and
Avi Ziv},
editor = {Ulf Schlichtmann and
Raviv Gal and
Hussam Amrouch and
Hai (Helen) Li},
title = {{ML} for {CAD} - Where is the Treasure Hiding?},
booktitle = {{MLCAD} '20: 2020 {ACM/IEEE} Workshop on Machine Learning for CAD,
Virtual Event, Iceland, November 16-20, 2020},
pages = {137},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380446.3431818},
doi = {10.1145/3380446.3431818},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mlcad/GalPRPWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlcad/GalSZ20,
author = {Raviv Gal and
Giora Simchoni and
Avi Ziv},
editor = {Ulf Schlichtmann and
Raviv Gal and
Hussam Amrouch and
Hai (Helen) Li},
title = {Using Machine Learning Clustering To Find Large Coverage Holes},
booktitle = {{MLCAD} '20: 2020 {ACM/IEEE} Workshop on Machine Learning for CAD,
Virtual Event, Iceland, November 16-20, 2020},
pages = {139--144},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380446.3430621},
doi = {10.1145/3380446.3430621},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mlcad/GalSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Ziv19,
author = {Avi Ziv},
editor = {Clark W. Barrett and
Jin Yang},
title = {Challenges and Solutions in Post-Silicon Validation of High-end Processors
(Invited Tutorial)},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {1},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894258},
doi = {10.23919/FMCAD.2019.8894258},
timestamp = {Thu, 14 Nov 2019 12:14:47 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Ziv19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-00170,
author = {Raviv Gal and
Eldad Haber and
Brian Irwin and
Bilal Saleh and
Avi Ziv},
title = {How To Catch {A} Lion In The Desert - On The Solution Of The Coverage
Directed Generation {(CDG)} Problem},
journal = {CoRR},
volume = {abs/1910.00170},
year = {2019},
url = {http://arxiv.org/abs/1910.00170},
eprinttype = {arXiv},
eprint = {1910.00170},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-00170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/MishraMZR17,
author = {Prabhat Mishra and
Ronny Morad and
Avi Ziv and
Sandip Ray},
title = {Post-Silicon Validation in the SoC Era: {A} Tutorial Introduction},
journal = {{IEEE} Des. Test},
volume = {34},
number = {3},
pages = {68--92},
year = {2017},
url = {https://doi.org/10.1109/MDAT.2017.2691348},
doi = {10.1109/MDAT.2017.2691348},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/MishraMZR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BilgoryBZ17,
author = {Erez Bilgory and
Eyal Bin and
Avi Ziv},
editor = {J. Christopher Beck},
title = {Solving Constraint Satisfaction Problems Containing Vectors of Unknown
Size},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {55--70},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_4},
doi = {10.1007/978-3-319-66158-2\_4},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BilgoryBZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GalKSZBH17,
author = {Raviv Gal and
Einat Kermany and
Bilal Saleh and
Avi Ziv and
Michael L. Behm and
Bryan G. Hickerson},
title = {Template Aware Coverage: Taking Coverage Analysis to the Next Level},
booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
2017, Austin, TX, USA, June 18-22, 2017},
pages = {36:1--36:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3061639.3062324},
doi = {10.1145/3061639.3062324},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GalKSZBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FarahmandiMZNM17,
author = {Farimah Farahmandi and
Ronny Morad and
Avi Ziv and
Ziv Nevo and
Prabhat Mishra},
editor = {David Atienza and
Giorgio Di Natale},
title = {Cost-effective analysis of post-silicon functional coverage events},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {392--397},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927022},
doi = {10.23919/DATE.2017.7927022},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/FarahmandiMZNM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LeeKMSMZB16,
author = {Doowon Lee and
Tom Kolan and
Arkadiy Morgenshtein and
Vitali Sokhin and
Ronny Morad and
Avi Ziv and
Valeria Bertacco},
title = {Probabilistic bug-masking analysis for post-silicon tests in microprocessor
verification},
booktitle = {Proceedings of the 53rd Annual Design Automation Conference, {DAC}
2016, Austin, TX, USA, June 5-9, 2016},
pages = {24:1--24:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897937.2898072},
doi = {10.1145/2897937.2898072},
timestamp = {Tue, 06 Nov 2018 16:58:19 +0100},
biburl = {https://dblp.org/rec/conf/dac/LeeKMSMZB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ArarBBGGIKRSSSZ15,
author = {Moab Arar and
Michael L. Behm and
Odellia Boni and
Raviv Gal and
Alex Goldin and
Maxim Ilyaev and
Einat Kermany and
John R. Reysa and
Bilal Saleh and
Klaus{-}Dieter Schubert and
Gil Shurek and
Avi Ziv},
editor = {Nir Piterman},
title = {The Verification Cockpit - Creating the Dream Playground for Data
Analytics over the Verification Process},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {51--66},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_4},
doi = {10.1007/978-3-319-26287-1\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ArarBBGGIKRSSSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdirGHHHHKKLMNPSOTTZ14,
author = {Allon Adir and
Dave Goodman and
Daniel Hershcovich and
Oz Hershkovitz and
Bryan G. Hickerson and
Karen Holtz and
Wisam Kadry and
Anatoly Koyfman and
John M. Ludden and
Charles Meissner and
Amir Nahir and
Randall R. Pratt and
Mike Schiffli and
Brett St. Onge and
Brian W. Thompto and
Elena Tsanko and
Avi Ziv},
title = {Verification of Transactional Memory in {POWER8}},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {58:1--58:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2593241},
doi = {10.1145/2593069.2593241},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AdirGHHHHKKLMNPSOTTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KatzMZ14,
author = {Yoav Katz and
Eitan Marcus and
Avi Ziv},
editor = {Eran Yahav},
title = {Enhancing Scenario Quality Using Quasi-Events},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {17--29},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_2},
doi = {10.1007/978-3-319-13338-6\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KatzMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChatterjeeMLGMNZB13,
author = {Debapriya Chatterjee and
Biruk Mammo and
Doowon Lee and
Raviv Gal and
Ronny Morad and
Amir Nahir and
Avi Ziv and
Valeria Bertacco},
editor = {J{\"{o}}rg Henkel},
title = {Hybrid checking for microarchitectural validation of microprocessor
designs on acceleration platforms},
booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design,
ICCAD'13, San Jose, CA, USA, November 18-21, 2013},
pages = {311--317},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICCAD.2013.6691137},
doi = {10.1109/ICCAD.2013.6691137},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ChatterjeeMLGMNZB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AdirNZ12,
author = {Allon Adir and
Amir Nahir and
Avi Ziv},
title = {Concurrent Generation of Concurrent Programs for Post-Silicon Validation},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {31},
number = {8},
pages = {1297--1302},
year = {2012},
url = {https://doi.org/10.1109/TCAD.2012.2189394},
doi = {10.1109/TCAD.2012.2189394},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/AdirNZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/NahirZP12,
author = {Amir Nahir and
Avi Ziv and
Subrat Panda},
title = {Optimizing test-generation to the execution platform},
booktitle = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
{ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
pages = {304--309},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ASPDAC.2012.6164964},
doi = {10.1109/ASPDAC.2012.6164964},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/NahirZP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChatterjeeKMZB12,
author = {Debapriya Chatterjee and
Anatoly Koyfman and
Ronny Morad and
Avi Ziv and
Valeria Bertacco},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {Checking architectural outputs instruction-by-instruction on acceleration
platforms},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {955--961},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228531},
doi = {10.1145/2228360.2228531},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChatterjeeKMZB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KatzRZ12,
author = {Yoav Katz and
Michal Rimon and
Avi Ziv},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Generating instruction streams using abstract {CSP}},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {15--20},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176425},
doi = {10.1109/DATE.2012.6176425},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KatzRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MammoCPNZMB12,
author = {Biruk Mammo and
Debapriya Chatterjee and
Dmitry Pidan and
Amir Nahir and
Avi Ziv and
Ronny Morad and
Valeria Bertacco},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Approximating checkers for simulation acceleration},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {153--158},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176449},
doi = {10.1109/DATE.2012.6176449},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/MammoCPNZMB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KatzRZ12,
author = {Yoav Katz and
Michal Rimon and
Avi Ziv},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {A Novel Approach for Implementing Microarchitectural Verification
Plans in Processor Designs},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {148--161},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_17},
doi = {10.1007/978-3-642-39611-3\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KatzRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BarasFFGZ11,
author = {Dorit Baras and
Shai Fine and
Laurent Fournier and
Dan Geiger and
Avi Ziv},
title = {Automatic boosting of cross-product coverage using Bayesian networks},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {3},
pages = {247--261},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0160-z},
doi = {10.1007/S10009-010-0160-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BarasFFGZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/FournierZKS11,
author = {Laurent Fournier and
Avi Ziv and
Ekaterina Kutsy and
Ofer Strichman},
title = {A probabilistic analysis of coverage methods},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {16},
number = {4},
pages = {38:1--38:20},
year = {2011},
url = {https://doi.org/10.1145/2003695.2003698},
doi = {10.1145/2003695.2003698},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/FournierZKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdirNSZMS11,
author = {Allon Adir and
Amir Nahir and
Gil Shurek and
Avi Ziv and
Charles Meissner and
John Schumann},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Leveraging pre-silicon verification resources for the post-silicon
validation of the {IBM} {POWER7} processor},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {569--574},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024856},
doi = {10.1145/2024724.2024856},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AdirNSZMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KatzRZS11,
author = {Yoav Katz and
Michal Rimon and
Avi Ziv and
Gai Shaked},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Learning microarchitectural behaviors to improve stimuli generation
quality},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {848--853},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024914},
doi = {10.1145/2024724.2024914},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KatzRZS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdirGLNSSZ11,
author = {Allon Adir and
Maxim Golubev and
Shimon Landa and
Amir Nahir and
Gil Shurek and
Vitali Sokhin and
Avi Ziv},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Threadmill: a post-silicon exerciser for multi-threaded processors},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {860--865},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024916},
doi = {10.1145/2024724.2024916},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AdirGLNSSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AdirCLNSZMS11,
author = {Allon Adir and
Shady Copty and
Shimon Landa and
Amir Nahir and
Gil Shurek and
Avi Ziv and
Charles Meissner and
John Schumann},
title = {A unified methodology for pre-silicon verification and post-silicon
validation},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1590--1595},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763252},
doi = {10.1109/DATE.2011.5763252},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/AdirCLNSZMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BirnbaumFMZ11,
author = {Ariel J. Birnbaum and
Laurent Fournier and
Steven Mittermaier and
Avi Ziv},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Reverse Coverage Analysis},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {190--202},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_17},
doi = {10.1007/978-3-642-34188-5\_17},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BirnbaumFMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2009,
editor = {Kedar S. Namjoshi and
Andreas Zeller and
Avi Ziv},
title = {Hardware and Software: Verification and Testing - 5th International
Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
19-22, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6405},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19237-1},
doi = {10.1007/978-3-642-19237-1},
isbn = {978-3-642-19236-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NahirZGHACBFBK10,
author = {Amir Nahir and
Avi Ziv and
Rajesh Galivanche and
Alan J. Hu and
Miron Abramovici and
Albert Camilleri and
Bob Bentley and
Harry Foster and
Valeria Bertacco and
Shakti Kapoor},
editor = {Sachin S. Sapatnekar},
title = {Bridging pre-silicon verification and post-silicon validation},
booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010,
Anaheim, California, USA, July 13-18, 2010},
pages = {94--95},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837274.1837300},
doi = {10.1145/1837274.1837300},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NahirZGHACBFBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AdirNZMS10,
author = {Allon Adir and
Amir Nahir and
Avi Ziv and
Charles Meissner and
John Schumann},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Reaching Coverage Closure in Post-silicon Validation},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {60--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_10},
doi = {10.1007/978-3-642-19583-9\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/AdirNZMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FineFZ09,
author = {Shai Fine and
Laurent Fournier and
Avi Ziv},
title = {Using Bayesian networks and virtual coverage to hit hard-to-reach
events},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {4},
pages = {291--305},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0119-0},
doi = {10.1007/S10009-009-0119-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FineFZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoptyFUYZ08,
author = {Shady Copty and
Shai Fine and
Shmuel Ur and
Elad Yom{-}Tov and
Avi Ziv},
title = {A probabilistic alternative to regression suites},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {219--234},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.020},
doi = {10.1016/J.TCS.2008.03.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CoptyFUYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ZivWHG08,
author = {Avi Ziv and
Chris Wilson and
Adnan Hamid and
Joerg Grosse},
title = {Special session - What's so intelligent about testbenches?},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {141--142},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695892},
doi = {10.1109/HLDVT.2008.4695892},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/ZivWHG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BarasFZ08,
author = {Dorit Baras and
Laurent Fournier and
Avi Ziv},
editor = {Hana Chockler and
Alan J. Hu},
title = {Automatic Boosting of Cross-Product Coverage Using Bayesian Networks},
booktitle = {Hardware and Software: Verification and Testing, 4th International
Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
27-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5394},
pages = {53--67},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01702-5\_10},
doi = {10.1007/978-3-642-01702-5\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BarasFZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/HunterPZLH08,
author = {Alan Hunter and
Andrew Piziali and
Avi Ziv and
Kelly Larson and
Shankar Hemmady},
title = {Ensuring Functional Closure of a Multi-core SoC through Verification
Planning, Implementation and Execution},
booktitle = {Ninth International Workshop on Microprocessor Test and Verification,
{MTV} 2008, Austin, Texas, USA, 8-10 December 2008},
pages = {7--13},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MTV.2008.20},
doi = {10.1109/MTV.2008.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/HunterPZLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BacchiniHFRLTPZ07,
author = {Francine Bacchini and
Alan J. Hu and
Tom Fitzpatrick and
Rajeev Ranjan and
David Lacey and
Mercedes Tan and
Andrew Piziali and
Avi Ziv},
title = {Verification Coverage: When is Enough, Enough?},
booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
San Diego, CA, USA, June 4-8, 2007},
pages = {744--745},
publisher = {{IEEE}},
year = {2007},
timestamp = {Tue, 29 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/BacchiniHFRLTPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/FournierZ07,
author = {Laurent Fournier and
Avi Ziv},
editor = {Karen Yorav},
title = {Using Virtual Coverage to Hit Hard-To-Reach Events},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {104--119},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_11},
doi = {10.1007/978-3-540-77966-7\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/FournierZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2006,
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70889-6},
doi = {10.1007/978-3-540-70889-6},
isbn = {978-3-540-70888-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/FineFJMNZ06,
author = {Shai Fine and
Ari Freund and
Itai Jaeger and
Yishay Mansour and
Yehuda Naveh and
Avi Ziv},
title = {Harnessing Machine Learning to Improve the Success Rate of Stimuli
Generation},
journal = {{IEEE} Trans. Computers},
volume = {55},
number = {11},
pages = {1344--1355},
year = {2006},
url = {https://doi.org/10.1109/TC.2006.183},
doi = {10.1109/TC.2006.183},
timestamp = {Wed, 03 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/FineFJMNZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/AzatchiFMUZZ06,
author = {Hezi Azatchi and
Laurent Fournier and
Eitan Marcus and
Shmuel Ur and
Avi Ziv and
Keren Zohar},
title = {Advanced Analysis Techniques for Cross-Product Coverage},
journal = {{IEEE} Trans. Computers},
volume = {55},
number = {11},
pages = {1367--1379},
year = {2006},
url = {https://doi.org/10.1109/TC.2006.173},
doi = {10.1109/TC.2006.173},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/AzatchiFMUZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NahirZEKR06,
author = {Amir Nahir and
Avi Ziv and
Roy Emek and
Tal Keidar and
Nir Ronen},
editor = {Ellen Sentovich},
title = {Scheduling-based test-case generation for verification of multimedia
SoCs},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {348--351},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1146999},
doi = {10.1145/1146909.1146999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NahirZEKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/NahirSZ06,
author = {Amir Nahir and
Yossi Shiloach and
Avi Ziv},
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {Using Linear Programming Techniques for Scheduling-Based Random Test-Case
Generation},
booktitle = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
pages = {16--33},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70889-6\_2},
doi = {10.1007/978-3-540-70889-6\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/NahirSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/FineFJNZM05,
author = {Shai Fine and
Ari Freund and
Itai Jaeger and
Yehuda Naveh and
Avi Ziv and
Yishay Mansour},
title = {Harnessing machine learning to improve the success rate of stimuli
generation},
booktitle = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
pages = {112--118},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HLDVT.2005.1568823},
doi = {10.1109/HLDVT.2005.1568823},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/FineFJNZM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/AzatchiFZZ05,
author = {Hezi Azatchi and
Laurent Fournier and
Avi Ziv and
Keren Zohar},
title = {Advanced analysis techniques for cross-product coverage},
booktitle = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
pages = {229--236},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HLDVT.2005.1568842},
doi = {10.1109/HLDVT.2005.1568842},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/AzatchiFZZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/PizialiZ05,
author = {Andrew Piziali and
Avi Ziv},
title = {Panel: Functional coverage - is your design exposed?},
booktitle = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
pages = {247},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HLDVT.2005.1568845},
doi = {10.1109/HLDVT.2005.1568845},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/PizialiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/AdirAFMRVZ04,
author = {Allon Adir and
Eli Almog and
Laurent Fournier and
Eitan Marcus and
Michal Rimon and
Michael Vinov and
Avi Ziv},
title = {Genesys-Pro: Innovations in Test Program Generation for Functional
Processor Verification},
journal = {{IEEE} Des. Test Comput.},
volume = {21},
number = {2},
pages = {84--93},
year = {2004},
url = {https://doi.org/10.1109/MDT.2004.1277900},
doi = {10.1109/MDT.2004.1277900},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/AdirAFMRVZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AsafMZ04,
author = {Sigal Asaf and
Eitan Marcus and
Avi Ziv},
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {Defining coverage views to improve functional coverage analysis},
booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
San Diego, CA, USA, June 7-11, 2004},
pages = {41--44},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996566.996579},
doi = {10.1145/996566.996579},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AsafMZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FineUZ04,
author = {Shai Fine and
Shmuel Ur and
Avi Ziv},
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {Probabilistic regression suites for functional verification},
booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
San Diego, CA, USA, June 7-11, 2004},
pages = {49--54},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996566.996581},
doi = {10.1145/996566.996581},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FineUZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Ziv04,
author = {Avi Ziv},
title = {Stimuli Generation with Late Binding of Values},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {558--563},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1268904},
doi = {10.1109/DATE.2004.1268904},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/Ziv04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BraunFZ04,
author = {Markus Braun and
Shai Fine and
Avi Ziv},
title = {Enhancing the efficiency of Bayesian network based coverage directed
test generation},
booktitle = {Ninth {IEEE} International High-Level Design Validation and Test Workshop
2004, Sonoma Valley, CA, USA, November 10-12, 2004},
pages = {75--80},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HLDVT.2004.1431241},
doi = {10.1109/HLDVT.2004.1431241},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BraunFZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CoptyFUZ04,
author = {Shady Copty and
Shai Fine and
Shmuel Ur and
Avi Ziv},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Probabilistic Alternative Regression Suites},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {89--91},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/CoptyFUZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZivF03,
author = {Avi Ziv and
Laurent Fournier},
title = {Solving the generalized mask constraint for test generation of binary
floating point add operation},
journal = {Theor. Comput. Sci.},
volume = {291},
number = {2},
pages = {183--201},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00225-6},
doi = {10.1016/S0304-3975(02)00225-6},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ZivF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/ZivAA03,
author = {Avi Ziv and
Merav Aharoni and
Sigal Asaf},
title = {Solving Range Constraints for Binary Floating-Point Instructions},
booktitle = {16th {IEEE} Symposium on Computer Arithmetic (Arith-16 2003), 15-18
June 2003, Santiago de Compostela, Spain},
pages = {158--164},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ARITH.2003.1207674},
doi = {10.1109/ARITH.2003.1207674},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arith/ZivAA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FineZ03,
author = {Shai Fine and
Avi Ziv},
title = {Coverage directed test generation for functional verification using
bayesian networks},
booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
Anaheim, CA, USA, June 2-6, 2003},
pages = {286--291},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775832.775907},
doi = {10.1145/775832.775907},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FineZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Ziv03,
author = {Avi Ziv},
title = {Cross-Product Functional Coverage Measurement with Temporal Properties-Based
Assertions},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10834--10841},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10082},
doi = {10.1109/DATE.2003.10082},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/Ziv03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Ziv03,
author = {Avi Ziv},
title = {Functional Verification Environment for Object-oriented Hardware Designs},
booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
23-26, 2003, Frankfurt, Germany, Proceedings},
pages = {637--646},
publisher = {{ECSI}},
year = {2003},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=784},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Ziv03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/AdirBPZ03,
author = {Allon Adir and
Eyal Bin and
Ofer Peled and
Avi Ziv},
title = {Piparazzi: a test program generator for micro-architecture flow verification},
booktitle = {Eighth {IEEE} International High-Level Design Validation and Test
Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
pages = {23--28},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HLDVT.2003.1252470},
doi = {10.1109/HLDVT.2003.1252470},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/AdirBPZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/FineZ03,
author = {Shai Fine and
Avi Ziv},
title = {Enhancing the control and efficiency of the covering process [logic
verification]},
booktitle = {Eighth {IEEE} International High-Level Design Validation and Test
Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
pages = {96--101},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HLDVT.2003.1252481},
doi = {10.1109/HLDVT.2003.1252481},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/FineZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/LevingerZBAJK03,
author = {Moshe Levinger and
Avi Ziv and
Brian Bailey and
Jacob Abraham and
Bob Bentley and
William H. Joyner and
Yaron Kas},
title = {Panel: What's the next 'big thing' in simulation-based verification?},
booktitle = {Eighth {IEEE} International High-Level Design Validation and Test
Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
pages = {175},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HLDVT.2003.1252493},
doi = {10.1109/HLDVT.2003.1252493},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/LevingerZBAJK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/BinESZ02,
author = {Eyal Bin and
Roy Emek and
Gil Shurek and
Avi Ziv},
title = {Using a constraint satisfaction formulation and solution techniques
for random test program generation},
journal = {{IBM} Syst. J.},
volume = {41},
number = {3},
pages = {386--402},
year = {2002},
url = {https://doi.org/10.1147/sj.413.0386},
doi = {10.1147/SJ.413.0386},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmsj/BinESZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LachishMUZ02,
author = {Oded Lachish and
Eitan Marcus and
Shmuel Ur and
Avi Ziv},
title = {Hole analysis for functional coverage data},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {807--812},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.514119},
doi = {10.1145/513918.514119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LachishMUZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/NativMUZ01,
author = {Gilly Nativ and
Steven Mittermaier and
Shmuel Ur and
Avi Ziv},
title = {Cost evaluation of coverage directed test generation for the {IBM}
mainframe},
booktitle = {Proceedings {IEEE} International Test Conference 2001, Baltimore,
MD, USA, 30 October - 1 November 2001},
pages = {793--802},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TEST.2001.966701},
doi = {10.1109/TEST.2001.966701},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/NativMUZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZivB98,
author = {Avi Ziv and
Jehoshua Bruck},
title = {Analysis of Checkpointing Schemes with Task Duplication},
journal = {{IEEE} Trans. Computers},
volume = {47},
number = {2},
pages = {222--227},
year = {1998},
url = {https://doi.org/10.1109/12.663769},
doi = {10.1109/12.663769},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ZivB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GrinwaldHOUZ98,
author = {Raanan Grinwald and
Eran Harel and
Michael Orgad and
Shmuel Ur and
Avi Ziv},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {User Defined Coverage - {A} Tool Supported Methodology for Design
Verification},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {158--163},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277081},
doi = {10.1145/277044.277081},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GrinwaldHOUZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MalkaZ98,
author = {Yossi Malka and
Avi Ziv},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {Design Reliability - Estimation through Statistical Analysis of Bug
Discovery Data},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {644--649},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277209},
doi = {10.1145/277044.277209},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MalkaZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZivB97,
author = {Avi Ziv and
Jehoshua Bruck},
title = {An On-Line Algorithm for Checkpoint Placement},
journal = {{IEEE} Trans. Computers},
volume = {46},
number = {9},
pages = {976--985},
year = {1997},
url = {https://doi.org/10.1109/12.620479},
doi = {10.1109/12.620479},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ZivB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZivB97a,
author = {Avi Ziv and
Jehoshua Bruck},
title = {Performance Optimization of Checkpointing Schemes with Task Duplication},
journal = {{IEEE} Trans. Computers},
volume = {46},
number = {12},
pages = {1381--1386},
year = {1997},
url = {https://doi.org/10.1109/12.641939},
doi = {10.1109/12.641939},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ZivB97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZivB96,
author = {Avi Ziv and
Jehoshua Bruck},
title = {An on-line algorithm for checkpoint placement},
booktitle = {Seventh International Symposium on Software Reliability Engineering,
{ISSRE} 1996, White Plains, NY, USA, October 30, 1996-Nov. 2, 1996},
pages = {274--283},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ISSRE.1996.558869},
doi = {10.1109/ISSRE.1996.558869},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ZivB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LanZG94,
author = {Sanko Lan and
Avi Ziv and
Abbas El Gamal},
editor = {Michael J. Lorenzetti},
title = {Placement and Routing for a Field Programmable Multi-Chip Module},
booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego,
California, USA, June 6-10, 1994},
pages = {295--300},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/196244.196386},
doi = {10.1145/196244.196386},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LanZG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/ZivB94,
author = {Avi Ziv and
Jehoshua Bruck},
title = {Analysis of Checkpointing Schemes for Multiprocessor Systems},
booktitle = {13th Symposium on Reliable Distributed Systems, {SRDS} 1994, Dana
Point, California, USA, October 25-27, 1994, Proceedings},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/RELDIS.1994.336909},
doi = {10.1109/RELDIS.1994.336909},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/ZivB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-11-13 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
