Patents by Inventor Noa Gradovitch

Noa Gradovitch 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).

  • AUTOMATION OF SOFTWARE VERIFICATION
    Publication number: 20090172649
    Abstract: A method, system, and computer program product are disclosed for automatic test generation for a compiler. In one approach, the method, system and computer program product represent a test case for the compiler in a structure with one or more elements of a programming language, associate at least one syntactic rule and semantic rule with the one or more elements in the structure, create a test with the structure compiling the test with the compiler, and display results of the test.
    Type: Application
    Filed: December 28, 2007
    Publication date: July 2, 2009
    Applicant: CADENCE DESIGN SYSTEM, INC.
    Inventors: Marat Teplitsky, Meir Ovadia, Noa Gradovitch