Transparent latch warnings

Status: Beta

Brought to you by: cdlsf

#4 Transparent latch warnings

Status: open

Owner: nobody

Labels: CDL Language (2)

Priority: 5

Updated: 2008-03-20

Created: 2008-03-20

Creator: Anonymous

Private: No

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.