Intel Corporation

Ranan Fraer

Gila Kamhi

Amit Gradstein

Ittai Anati

Thierry Pons

Zelig Wayner

Yoad Yagil

Moshe Y Vardi

Amitai Irron

Marcelo Glusman

Sela Mador-Haim

Osnat Weissberg

Embodiments of the present invention provide a processor having an inactive state of operation and methods thereof. The processor, according to some demonstrative embodiments of the invention, the processor may include a controller to determine an inactive state of operation is to be entered, and to cause a predetermined set of one or more execution units to execute a predetermined sequence of one or more micro-operations prior to entering the inactive state. Other embodiments are described and claimed.

Processor having inactive state of operation and method thereof

Briefly, a system and a method of formal verification and failure analysis and rectification of models or designs, e.g., VLSI designs, of processors, circuits and logical systems. Embodiments of the system may include a multi-value annotation scheme for annotating different types of values of signals, and a post-annotation scheme for further analysis based on the annotated values. Some embodiments of the invention may optionally include a generator of counter-examples of a given length.

System and method to analyze VLSI designs

Growing community of inventors

Haifa, Israel

Ranan Fraer