summaryrefslogtreecommitdiff
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)
               )
            )
         )
      )
   )
)