Scheduling-based test-case generation for verification of multimedia SoCs. - Amir Nahir; Avi Ziv; Roy Emek; Tal Keidar; Nir Ronen (DAC, 2006)

Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. - Amir Nahir; Yossi Shiloach; Avi Ziv (Haifa Verification Conference, 2006)

On Fully Distributed Adaptive Load Balancing. - David Breitgand; Rami Cohen; Amir Nahir; Danny Raz (DSOM, 2007)

Using the Right Amount of Monitoring in Adaptive Load Sharing. - David Breitgand; Rami Cohen; Amir Nahir; Danny Raz (ICAC, 2007)

Cost Aware Adaptive Load Sharing. - David Breitgand; Rami Cohen; Amir Nahir; Danny Raz (IWSOS, 2007)

Topology Design and Control: A Game-Theoretic Perspective. - Amir Nahir; Ariel Orda; Ari Freund 001 (INFOCOM, 2009)

Functional verification of power gated designs by compositional reasoning. - Cindy Eisner; Amir Nahir; Karen Yorav (Formal Methods Syst. Des., 2009)

Bridging pre-silicon verification and post-silicon validation. - Amir Nahir; Avi Ziv; Rajesh Galivanche; Alan J. Hu; Miron Abramovici; Albert Camilleri; Bob Bentley; Harry Foster; Valeria Bertacco; Shakti Kapoor (DAC, 2010)

Reaching Coverage Closure in Post-silicon Validation. - Allon Adir; Amir Nahir; Avi Ziv; Charles Meissner; John Schumann (Haifa Verification Conference, 2010)

On cost-aware monitoring for self-adaptive load sharing. - David Breitgand; Rami Cohen; Amir Nahir; Danny Raz (IEEE J. Sel. Areas Commun., 2010)

Threadmill: a post-silicon exerciser for multi-threaded processors. - Allon Adir; Maxim Golubev; Shimon Landa; Amir Nahir; Gil Shurek; Vitali Sokhin; Avi Ziv (DAC, 2011)

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. - Allon Adir; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DAC, 2011)

TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. - Flavio M. de Paula; Amir Nahir; Ziv Nevo; Avigail Orni; Alan J. Hu (DAC, 2011)

A unified methodology for pre-silicon verification and post-silicon validation. - Allon Adir; Shady Copty; Shimon Landa; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DATE, 2011)

Optimizing test-generation to the execution platform. - Amir Nahir; Avi Ziv; Subrat Panda (ASP-DAC, 2012)

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. - Flavio M. de Paula; Alan J. Hu; Amir Nahir (CAV, 2012)

Distributed oblivious load balancing using prioritized job replication. - Amir Nahir; Ariel Orda; Danny Raz (CNSM, 2012)

Approximating checkers for simulation acceleration. - Biruk Mammo; Debapriya Chatterjee; Dmitry Pidan; Amir Nahir; Avi Ziv; Ronny Morad; Valeria Bertacco (DATE, 2012)

Emulation in post-silicon validation: It's not just for functionality anymore. - Kyle Balston; Alan J. Hu; Steven J. E. Wilton; Amir Nahir (HLDVT, 2012)

Leveraging Accelerated Simulation for Floating-Point Regression. - John Paul; Elena Guralnik; Anatoly Koyfman; Amir Nahir; Subrat Panda (Haifa Verification Conference, 2012)

Workload factoring with the cloud: A game-theoretic perspective. - Amir Nahir; Ariel Orda; Danny Raz (INFOCOM, 2012)

Concurrent Generation of Concurrent Programs for Post-Silicon Validation. - Allon Adir; Amir Nahir; Avi Ziv (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Improving Post-silicon Validation Efficiency by Using Pre-generated Data. - Wisam Kadry; Anatoly Koyfman; Dmitry Krestyashyn; Shimon Landa; Amir Nahir; Vitali Sokhin (Haifa Verification Conference, 2013)

Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. - Debapriya Chatterjee; Biruk Mammo; Doowon Lee; Raviv Gal; Ronny Morad; Amir Nahir; Avi Ziv; Valeria Bertacco (ICCAD, 2013)

Schedule first, manage later: Network-aware load balancing. - Amir Nahir; Ariel Orda; Danny Raz (INFOCOM, 2013)

Dynamic Selection of Trace Signals for Post-Silicon Debug. - Kanad Basu; Prabhat Mishra 001; Priyadarsan Patra; Amir Nahir; Allon Adir (MTV, 2013)

Verification of Transactional Memory in POWER8. - Allon Adir; Dave Goodman; Daniel Hershcovich; Oz Hershkovitz; Bryan G. Hickerson; Karen Holtz; Wisam Kadry; Anatoly Koyfman; John M. Ludden; Charles Meissner; Amir Nahir; Randall R. Pratt; et al. (DAC, 2014)

Post-Silicon Validation of the IBM POWER8 Processor. - Amir Nahir; Manoj Dusanapudi; Shakti Kapoor; Kevin Reick; Wolfgang Roesner; Klaus-Dieter Schubert; Keith Sharp; Greg Wetli (DAC, 2014)

Effective post-silicon failure localization using dynamic program slicing. - Ophir Friedler; Wisam Kadry; Arkadiy Morgenshtein; Amir Nahir; Vitali Sokhin (DATE, 2014)

Topology Design of Communication Networks: A Game-Theoretic Perspective. - Amir Nahir; Ariel Orda; Ari Freund 001 (IEEE/ACM Trans. Netw., 2014)

Design and management of complex distributed systems: optimization and game-theoretic perspectives. - Amir Nahir (2014)

Comparative study of test generation methods for simulation accelerators. - Wisam Kadry; Dmitry Krestyashyn; Arkadiy Morgenshtein; Amir Nahir; Vitali Sokhin; Jin Sung Park; Sung-Boem Park; Wookyeong Jeong; Jae-Cheol Son (DATE, 2015)

Resource allocation and management in Cloud Computing. - Amir Nahir; Ariel Orda; Danny Raz (IM, 2015)

Debugging post-silicon fails in the IBM POWER8 bring-up lab. - Manoj Dusanapudi; S. Fields; Michael S. Floyd; Guy L. Guthrie; Ronald N. Kalla; Shakti Kapoor; Larry S. Leitner; Charles F. Marino; Joseph McGill; Amir Nahir; Kevin Reick; H. Shen; et al. (IBM J. Res. Dev., 2015)

Solutions to IBM POWER8 verification challenges. - Klaus-Dieter Schubert; John M. Ludden; Salma Ayub; J. Behrend; Bishop Brock; Fady Copty; S. M. German; Oz Hershkovitz; H. Horbach; Jonathan R. Jackson; K. Keuerleber; J. Koesters; et al. (IBM J. Res. Dev., 2015)

Workload Factoring: A Game-Theoretic Perspective. - Amir Nahir; Ariel Orda; Danny Raz (IEEE/ACM Trans. Netw., 2015)

Reversing the supermarket: A distributed approach for handling elasticity in the cloud. - Amir Nahir; Ariel Orda; Danny Raz (NOMS, 2016)

Replication-Based Load Balancing. - Amir Nahir; Ariel Orda; Danny Raz (IEEE Trans. Parallel Distributed Syst., 2016)

Test Generation Methods for Utilization Improvement of Hardware-Accelerated Simulation Platforms. - Wisam Kadry; Dmitry Krestyashyn; Arkadiy Morgenshtein; Amir Nahir; Vitali Sokhin; Jin Sung Park; Sung-Boem Park; Wookyeong Jeong; Jae-Cheol Son (IEEE Des. Test, 2017)