Michael Mishaeli
Intel
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Michael Mishaeli.
computer aided verification | 2005
Tamarah Arons; Elad Elster; Limor Fix; Sela Mador-Haim; Michael Mishaeli; Jonathan Shalev; Eli Singerman; Andreas Tiemeyer; Moshe Y. Vardi; Lenore D. Zuck
Microcode is used to facilitate new technologies in Intel CPU designs. A critical requirement is that new designs be backwardly compatible with legacy code when new functionalities are disabled. Several features distinguish microcode from other software systems, such as: interaction with the external environment, sensitivity to exceptions, and the complexity of instructions. This work describes the ideas behind MICROFORMAL,, a technology for fully automated formal verification of functional backward compatibility of microcode.
Archive | 2012
Alon Naveh; Yuval Yosef; Eliezer Weissmann; Anil Aggarwal; Efraim Rotem; Avi Mendelson; Ronny Ronen; Boris Ginzburg; Michael Mishaeli; Scott Hahn; David A. Koufaty; Ganapati Srinivasa; Guy M. Therien
Archive | 2011
Boris Ginzburg; Ilya Osadchiy; Ronny Ronen; Eliezer Weissmann; Michael Mishaeli; Alon Naveh; David A. Koufaty; Scott Hahn; Tong Li; Avi Mendleson; Eugene Gorbatov; Hisham Abu-Salah; Dheeraj R. Subbareddy; Paolo Narvaez; Aamer Jaleel; Efraim Rotem; Yuval Yosef; Anil Aggarwal; Kenzo Van Craeynest
Archive | 2013
Elierzer Weissmann; Rinat Rappoport; Michael Mishaeli; Hisham Shafi; Oron Lenz; Jason W. Brandt; Stephen A. Fischer; Bret L. Toll; Inder M. Sodhi; Alon Naveh; Ganapati Srinivasa; Ashish V. Choubal; Scott Hahn; David A. Koufaty; Russel J. Fenger; Gaurav Khanna; Eugene Gorbatov; Mishali Naik; Andrew J. Herdrich; Abirami Prabhakaran; Sanjeev S. Sahagirdar; Paul Brett; Paolo Narvaez; Andrew D. Henroid; Dheeraj R. Subbareddy
Archive | 2011
Koichi Yamada; Ronny Ronen; Wei Li; Boris Ginzburg; Gadi Haber; Konstantin Levit-Gurevich; Esfir Natanzon; Alon Naveh; Eliezer Weissmann; Michael Mishaeli
Archive | 2011
Koichi Yamada; Boris Ginzburg; Wei Li; Ronny Ronen; Esfir Natanzon; Konstantin Levit-Gurevich; Gadi Haber; Alon Naveh; Eliezer Weissmann; Michael Mishaeli
Archive | 2013
Ohad Falik; Lihu Rappoport; Ron Gabor; Yulia Kurolap; Michael Mishaeli
Archive | 2014
Zeev Sperber; Robert Valentine; Offer Levy; Michael Mishaeli; Gal Ofir
Archive | 2005
Michael Mishaeli; Ittai Anati
Archive | 2015
Eliezer Weissmann; Yoni Aizik; Doron Rajwan; Nir Rosenzweig; Efraim Rotem; Barnes Cooper; Paul S. Diefenbaugh; Guy M. Therien; Michael Mishaeli; Nadav Shulman; Ido Melamed; Niv Tokman; Alexander Gendler; Arik Gihon; Yevgeni Sabin; Hisham Abu Salah; Esfir Natanzon
