unread_waveforms.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/unread_waveforms.pro

blob: b53862b822a2a408f4282db6fbd0a5e90015c2af (plain)

(tag_existing
   (
      (wf waveform UNREAD_WAVEFORM)
   )
   (not
      (exists ps process
         (is_accessed_by wf ps)
      )
   )
)