Hi Prasad,Originally posted in cdnusers.org by makkarm
Add the net contraint only one side of the design, -revised preferably
And as said do all in one line . .
SETUP> add net constaint one_hot ZN[zero] ZN[one] ZN[two] . . . -revised
Constraints are essentially assumptions that the Equivalence Checker can use to "ignore" Non-equivalences.
if you apply a one-hot on revised
Golden: net1, net2, net3
Revised: net1, net2, net3
Then only conditions where revised is 001, 010, 100 will be honored.
A condition such as (G)110 and (R)011 will be ignored even if it is
non-equivalent because of the constraint.
PS: You better simulate the one_hot in a simulator. Also if you have
conformal - ASIC license, you may be able to actually verify that
your one-hot bus is truly a one-hot formally without vectors. You
can invoke that tool by
unix> lec -verify
From there it is pretty intuitive with a check called bus contention.
PPS: There are experts in the support channel who can guide you with
this. You may want to file an SR.