Hi,
I have two problems:
1) I tried to implement multiplication constraint based on the one of the examples:
struct addr_constraint : public scv_constraint_base {
scv_smart_ptr<int> row;
scv_smart_ptr<int> col;
SCV_CONSTRAINT_CTOR(addr_constraint) {
SCV_CONSTRAINT( (row())*(col()) < 50);
SCV_CONSTRAINT( col() > 0);
}
};
When I try to randomize the values, the program keeps running and never stops.
What might be the problem?
2) Is there any way to define more complex mathematical constraints?
constraints on the square, log, shift, division etc...?
Where can I find a list of the supported mathematical operations?
Thanks!