×

Method and system for performing heuristic constraint simplification

  • US 7,788,616 B2
  • Filed: 11/15/2007
  • Issued: 08/31/2010
  • Est. Priority Date: 09/22/2005
  • Status: Expired due to Fees
First Claim
Patent Images

1. A machine-usable medium having a plurality of instructions processable by a machine embodied therein, wherein said plurality of instructions, when processed by said machine, causes said machine to perform a computer-verification method comprising:

  • selecting a first computer-design constraint for simplification;

    applying structural reparameterization to simplify said first computer-design constraint;

    in response to determining that said first computer-design constraint is not eliminated, setting said first computer-design constraint equal to a dead-end state of said first computer-design constraint;

    creating a structural preimage of said first computer-design constraint; and

    in response to determining that a combination of a target and said dead-end state of said first computer-design constraint is equal to a combination of said target and said structural preimage of said first computer-design constraint, setting said first computer-design constraint equal to said structural preimage.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×