amitk3553 Posted January 21, 2014 Report Posted January 21, 2014 What is constraint solver in SV? What is the meaning of statement if we say that "SV is having powerful constraint solver"? Quote
apfitch Posted January 21, 2014 Report Posted January 21, 2014 For your first question, try reading this Wikipedia article on constraint programming: https://en.wikipedia.org/wiki/Constraint_programming The solver is the part of a SystemVerilog simulator that solves the constraints (produces a set of values for random variables that satisfy the constraints). For your second question, the SystemVerilog standard states "If a solution exists, the constraint solver shall find it. The solver can fail only when the problem isover-constrained and there is no combination of random values that satisfy the constraints." Which you could argue means the constraint solver is "powerful". regards Alan amitk3553 1 Quote
Recommended Posts
Join the conversation
You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.