Skip to main content

emit_psl_property

logicaffeine_compile::codegen_sva

Function emit_psl_property 

Source 
pub fn emit_psl_property(prop: &SvaProperty) -> String
Expand description

Emit a single PSL property.