I don't see how this can be done without VRP at the RTL level to show that the value of c is bounded by 50 above.
Ramana
I don't see how this can be done without VRP at the RTL level to show that the value of c is bounded by 50 above.
Ramana