Search

Your search keyword '"Shurek, Gil"' showing total 22 results
Start Over Author "Shurek, Gil"
22 results on '"Shurek, Gil"'

1. COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design

Author

Motahari Nezhad, Hamid R., Yorov, Karen, Yin, Peifeng, Nakamura, Taiga, Trent, Scott, Shurek, Gil, Kushida, Takayuki, Subramanian, Uma, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Drira, Khalil, editor, Wang, Hongbing, editor, Yu, Qi, editor, Wang, Yan, editor, Yan, Yuhong, editor, Charoy, François, editor, Mendling, Jan, editor, Mohamed, Mohamed, editor, Wang, Zhongjie, editor, and Bhiri, Sami, editor

Published
2017
Full Text
View/download PDF

2. The Verification Cockpit – Creating the Dream Playground for Data Analytics over the Verification Process

Author

Arar, Moab, Behm, Michael, Boni, Odellia, Gal, Raviv, Goldin, Alex, Ilyaev, Maxim, Kermany, Einat, Reysa, John, Saleh, Bilal, Schubert, Klaus-Dieter, Shurek, Gil, Ziv, Avi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Piterman, Nir, editor

Published
2015
Full Text
View/download PDF

3. A New Test-Generation Methodology for System-Level Verification of Production Processes

Author

Adir, Allon, Goryachev, Alex, Greenberg, Lev, Salman, Tamer, Shurek, Gil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

8. Information-flow models for shared memory with an application to the PowerPC architecture

Author

Adir, Allon, Attiya, Hagit, and Shurek, Gil

Subjects
Multiprocessing -- Research, Parallel processing -- Research, Multiprocessing, Parallel processing, PowerPC-based system, PowerPC-based notebook, Business, Computers, Electronics, Electronics and electrical industries
Abstract

A framework is proposed for defining instructions, programs, and the semantics of their instantiation in multiprocessor environments.

Published
2003

9. Constraint-based random stimuli generation for hardware verification

Author

Naveh, Yehuda, Rimon, Michal, Jaeger, Itai, Katz, Yoav, Vinov, Michael, Marcus, Eitan, and Shurek, Gil

Subjects
Artificial intelligence -- Usage -- Methods, Computers -- Materials -- Testing -- Methods -- Usage, Electronic design automation -- Standards -- Methods -- Usage, Business, Electronic design automation, Artificial intelligence, Testing, Standards, Usage, Materials, Methods
Abstract

We report on random stimuli generation for hardware verification at IBM as a major application of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade we have developed several related tools, with huge payoffs. Research and development around this application are still thriving, as we continue to cope with the ever-increasing complexity of modern hardware systems and demanding business environments., IBM estimates that it has saved more than $100 million during the last decade in direct development costs and reduced time to market by using artificial intelligence (AI) technology for [...]

Published
2007

11. Designer-Level Verification – An Industrial Experience Story

Author

Bergman, Stephen, primary, Bobok, Gabor, additional, Kowalski, Walter, additional, Koyfman, Shlomit, additional, Moran, Shiri, additional, Nevo, Ziv, additional, Orni, Avigail, additional, Paruthi, Viresh, additional, Roesner, Wolfgang, additional, Shurek, Gil, additional, and Vuyyuru, Vasantha, additional

Published
2015
Full Text
View/download PDF

13. Threadmill

Author

Adir, Allon, primary, Golubev, Maxim, additional, Landa, Shimon, additional, Nahir, Amir, additional, Shurek, Gil, additional, Sokhin, Vitali, additional, and Ziv, Avi, additional

Published
2011
Full Text
View/download PDF

16. Threadmill.

Author

Adir, Allon, Golubev, Maxim, Landa, Shimon, Nahir, Amir, Shurek, Gil, Sokhin, Vitali, and Ziv, Avi

Published
2011
Full Text
View/download PDF

18. Threadmill: A Post-Silicon Exerciser for Multi-Threaded Processors.

Author

Adir, Allon, Golubev, Maxim, Landa, Shimon, Nahir, Amir, Shurek, Gil, Sokhin, Vitali, and Ziv, Avi

Subjects
MICROPROCESSORS, COMPUTER software, VERIFICATION of computer systems, COMPUTER operating systems, COMPUTER input-output equipment, SYNCHRONIZATION
Abstract

Post-silicon validation poses unique challenges that bring-up tools must face, such as the lack of observability into the design, the typical instability of silicon bring-up platforms and the absence of supporting software (like an OS or debuggers). These challenges and the need to reach an optimal utilization of the expensive but very fast silicon platforms lead to unique design considerations like the need to keep the tool simple and to perform most of its operation on platform without interaction with the environment. In this paper we describe a variety of novel techniques optimized for the unique characteristics of the silicon platform. These techniques are implemented in Threadmill - a bare-metal exerciser targeting multi-threaded processors. Threadmill was used in the verification of the POWER7 processor with encouraging results. [ABSTRACT FROM AUTHOR]

Published
2011

22. Using a constraint satisfaction formulation and solution techniques for random test program generation.

Author

Bin, Eyal, Emek, Roy, Shurek, Gil, and Ziv, Avi

Subjects
*CONSTRAINT satisfaction, *ARTIFICIAL intelligence, *ELECTRONIC data processing
Abstract

Formulates the generation of test programs as a constraint satisfaction problem and develop techniques for dealing with huge variable domains and the need to randomly generate 'well distributed' samplings of the solution space. Details on related work and alternatives to constraint satisfaction problem; Characteristics of constraint satisfaction problem for test generation; Information on solution techniques; Conclusions.

Published
2002
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results