Data processing: artificial intelligence – Neural network – Learning task
Reexamination Certificate
2007-11-27
2007-11-27
Knight, Anthony (Department: 2121)
Data processing: artificial intelligence
Neural network
Learning task
C716S030000, C716S030000, C716S030000
Reexamination Certificate
active
11120920
ABSTRACT:
Techniques are presented for identifying blockable subsets. Blockable subsets can increase the efficiency by which solutions to a constraint set representation (CSR) can be found. Nodes of a blockable subset can be marked as “blocked” and learning or implication procedures, used as part of a CSR solving process, can be designed to skip nodes marked as blocked. The identification of a particular blockable subset is typically associated with certain conditions being true. If and when the conditions no longer hold, the nodes of the blockable subset need to be unblocked. One type of blockable subset can be identified during the operation of an implication engine (IE) by a technique called justified node blocking (JNB). Another type of blockable subset can be identified by a technique called pivot node learning (PNL). PNL can be applied in-between application of an IE and application of case-based learning.
REFERENCES:
patent: 5831996 (1998-11-01), Abramovici et al.
Iyer, Race: A Word-Level ATPG-Based Constraints Solver System for Smart Random Simulation, 2003.□□.
Nam et al., A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints, 2004.□□.
Kuehlmann et al., Robust Boolean Reasoning for Equivalence Checking and Functional Property Verification, 2002.□□.
Waters, System Validation via Constraint Modeling, 1991.□□.
Burch et al., Sequential Circuit Verification Using Symbolic Model Checki:ng, 1990.□□.
Brown, Jr. Nathan H.
Knight Anthony
Park Vaughan & Fleming LLP
Synopsys Inc.
LandOfFree
Method and apparatus for improving efficiency of constraint... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for improving efficiency of constraint..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for improving efficiency of constraint... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3852039