Patents by Inventor Amitai Irron

Amitai Irron has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • System and method to analyze VLSI designs
    Patent number: 7203631
    Abstract: 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.
    Type: Grant
    Filed: December 31, 2002
    Date of Patent: April 10, 2007
    Assignee: Intel Corporation
    Inventors: Ranan Fraer, Osnat Weissberg, Amitai Irron, Gila Kamhi, Marcelo Glusman, Sela Mador-Haim, Moshe Y. Vardi
  • System and method to analyze VLSI designs
    Publication number: 20040049371
    Abstract: 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. Embodinents 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.
    Type: Application
    Filed: December 31, 2002
    Publication date: March 11, 2004
    Inventors: Ranan Fraer, Osnat Weissberg, Amitai Irron, Gila Kamhi, Marcelo Glusman, Sela Mador-Haim, Moshe Y. Vardi