data/property/CNE_02100.pro


1
2
3
4
5
6
7
8
9
10
11
12

(tag_existing
   (
      (arch architecture CNE_02100_BAD_NAME)
   )
   (not
      (or
         (identifier arch "Behavioral")
         (identifier arch "RTL")
         (identifier arch "Simulation")
      )
   )
)