property/flip_flop.pro


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#require "simple_flip_flop"
#require "async_reset_flip_flop"

(seek
   (
      (reg waveform)
      (clk waveform)
      (ps process)
   )
   (and
      (not (eq reg clk))
;;      (is_accessed_by reg ps)
;;      (is_accessed_by clk ps)
      (or
         (simple_flip_flop reg clk ps)
         (async_reset_flip_flop reg clk _ ps)
      )
   )
)