property/CNE_02100.pro


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

(seek
   (
      (arch architecture)
   )
   (not
      (or
         (identifier arch "Behavioral")
         (identifier arch "RTL")
         (identifier arch "Simulation")
      )
   )
)