I see that there is some formatting problem, so I am reposting with numerics replaced by english words:
I have run into an issue: there is an 8-bitOriginally posted in cdnusers.org by anssprasad
input bus. The 4 MSBs and the 4 LSBs are related: the LSBs are simply the
inversion of the MSBs. So sel[seven] = ~sel[three], sel[six] = ~sel[two], etc.
The original code used all 8 bits of sel (for reasons that I can only
guess). There isn't any reason to do this in the behavioral code, and in
fact it makes the code a lot less readable. The problem is that sel is an
input port, so LEC won't pass unless either:
1. I use sel the way it was used in the original code
2. I can tell Conformal the relationship between sel[seven:four] and
Do anyone know a way to achieve the second option? I'd guess that conformal
supports this, but I have no idea how.