Patents by Inventor Raz Azaria

Raz Azaria 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).

  • Coverage driven generation of constrained random stimuli
    Patent number: 9514035
    Abstract: A method, system and computer readable medium for coverage driven generation of stimuli for DUT verification. The method may include receiving, via an input device, a generation model and a coverage model from a user. The method may also include using a processor, identifying a coverage item in the coverage model and finding a corresponding element in the generation model corresponding to the coverage item. The method may further include using a processor translating a coverage requirement associated with the coverage item into a distribution directive; and using a processor, solving the generation model with the distribution directive on the corresponding element, to obtain a set of stimuli.
    Type: Grant
    Filed: December 24, 2014
    Date of Patent: December 6, 2016
    Assignee: CADENCE DESIGN SYSTEMS, INC.
    Inventors: Marat Teplitsky, Raz Azaria, Amit Metodi, Yael Kinderman
  • Method and system for debugging a program that includes declarative code and procedural code
    Patent number: 9239773
    Abstract: A method for debugging a program that includes declarative code and procedural code includes presenting to a user on an output device data relating to execution of the procedural code and data relating to execution of the declarative code. The data is presented in the form of a sequence of execution events corresponding to a computational flow of an execution of the program.
    Type: Grant
    Filed: October 29, 2014
    Date of Patent: January 19, 2016
    Assignee: CADENCE DESIGN SYSTEMS, INC.
    Inventors: Marat Teplitsky, Reuven Naveh, Rotem Gubes, Raz Azaria