blob: 5f9e817884a823053dfe69162ff98b39524545e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
(tag_existing
(
(wfm waveform STD_04800_DOUBLE_SENSITIVITY_EDGE_CLOCK)
)
(and
(exists ps_re process
(CTL_verifies ps_re
(EF
(and
(is_read_structure "(??)")
(is_read_element "0" "rising_edge")
(is_read_element "1" wfm)
)
)
)
)
(exists ps_fe process
(CTL_verifies ps_fe
(EF
(and
(is_read_structure "(??)")
(is_read_element "0" "falling_edge")
(is_read_element "1" wfm)
)
)
)
)
)
)
|
