CNE_02600.pro « property « data - tabellion - Verification tool for VHDL (or at least the prototype of one).

summary refs log tree commit diff

path: root/data/property/CNE_02600.pro

blob: f4f89abaf73d6e467bd21b87d29dc22d7e1d5dcc (plain)

(tag_existing
   (
      (sl signal CNE_02600_BAD_NAME)
   )
   (string_matches [identifier sl] ".{21,}")
)