Patents by Inventor HARY MONY

HARY MONY 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).

  • Method and System for Performing Heuristic Constraint Simplification
    Publication number: 20080066033
    Abstract: A method for performing verification is disclosed. The method includes selecting a first computer-design constraint for simplification and applying structural reparamaterization to simplify the first computer-design constraint. In response to determining that the first computer-design constraint is not eliminated, the first computer-design constraint is set equal to a dead-end state of the constraint. A structural preimage of the first computer-design constraint is created, in response to determining that a combination of a target and the dead-end state of the first computer-design constraint is equal to a combination of the target and the structural preimage of the first computer-design constraint, the first computer-design constraint is set equal to the structural preimage.
    Type: Application
    Filed: November 15, 2007
    Publication date: March 13, 2008
    Inventors: JASON BAUMGARTNER, ROBERT KANZELMAN, HARY MONY, VIRESH PARUTHI