pub fn translate_sva_to_bounded(
sva_text: &str,
bound: u32,
) -> Result<TranslateResult, HwError>Expand description
Translate an SVA string to bounded verification IR.
Uses translate_property (G-wrapping) to model assert property semantics.