It would be nice if CDL warned about transparent latches
It could do this is there is no unconditional statement that sets a combinatorial variable.
This would require an 'unconditional_effects' reference set per statement.
Log in to post a comment.