×

METHOD AND APPARATUS FOR IMPROVING BOOLEAN SATISFIBILITY SOLVER GENERATED BASED ON INPUT DESIGN WITH DATA QUALIFIER SIGNALS

  • US 20190318056A1
  • Filed: 04/16/2018
  • Published: 10/17/2019
  • Est. Priority Date: 04/16/2018
  • Status: Active Grant
First Claim
Patent Images

1. A computer implemented method for solving a Boolean formula generated from a design using an iterative loop using a Boolean satisfiability solver, comprising:

  • accessing data qualifier signals indicating one or more variables in a Boolean formula;

    marking the one or more variables in the Boolean formula as data qualifier variables based on the respective data qualifier signals; and

    instructing a computer implemented Boolean satisfiability solver to solve the Boolean formula using an iterative loop, wherein operation of the iterative loop is prioritized based on the data qualifier variables.

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