Skip to main content

power_sequence_properties

logicaffeine_compile::codegen_sva::power

Function power_sequence_properties 

Source 
pub fn power_sequence_properties(domains: &[PowerDomain]) -> Vec<SvaProperty>
Expand description

Generate SVA properties for power sequencing.