Verification Academy

Constraint problem

constraint-randomization

dave_59 August 23, 2024, 12:09am 2

This constraint:

enable_node.sum() == 16;

can never be satisfied. See Constraint with array reduction method

show post in topic

Home
Categories
Guidelines
Terms of Service
Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled