Lines Matching refs:rfe
82 (* rfe for LF events *)
83 let all-possible-rfe-lf =
85 * Given an LF event r, compute the possible rfe edges for that event
89 let possible-rfe-lf r =
93 in map possible-rfe-lf (LF \ range(rfi-lf))
96 with rfe-lf from cross(all-possible-rfe-lf)
97 let rf-lf = rfe-lf | rfi-lf
108 (* rfe for RU events: an RU may read from an external UL or the initial write *)
109 let all-possible-rfe-ru =
110 let possible-rfe-ru r =
113 in map possible-rfe-ru RU
116 with rfe-ru from cross(all-possible-rfe-ru)
117 let rf-ru = rfe-ru | rfi-ru
136 let rfe = rf & ext