Function emit_hw_sva 

pub fn emit_hw_sva(
    name: &str,
    clock: &str,
    body: &str,
    kind: SvaAssertionKind,
) -> String

Emit SVA from a property specification.