Jump to content

constraint solver

Recommended Posts

For your first question, try  reading this Wikipedia article on 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 is
over-constrained and there is no combination of random values that satisfy the constraints." Which you could argue means the constraint solver is "powerful".




Link to comment
Share on other sites

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.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Create New...