blob: 9e7989e5d805e2c781c6fd94088e51ac0a3fde92 (
plain)
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"
(tag_existing
(
(reg waveform STRUCT_FLIP_FLOP_OUTPUT)
(clk waveform STRUCT_FLIP_FLOP_CLOCK)
(ps process STRUCT_FLIP_FLOP_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)
)
)
)
|
