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