Skip to main content

verify_isolation

logicaffeine_compile::codegen_sva::power

Function verify_isolation 

Source 
pub fn verify_isolation(domain: &PowerDomain) -> Vec<SvaProperty>
Expand description

Generate SVA properties for power isolation verification.