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

blob: 9d2115c1e99bfe3d0bb537d29fd4b26b7542e7c3 (plain)

#require "simple_flip_flop"
#require "combinational_processes"

(tag_existing
   (
      (ps process SUSPICIOUS_PROCESS)
   )
   (_combinational_processes ps)
)