Skip to main content

riscv_branch_properties

logicaffeine_compile::codegen_sva::protocols::riscv

Function riscv_branch_properties 

Source 
pub fn riscv_branch_properties(config: &RiscvConfig) -> Vec<ProtocolProperty>
Expand description

Generate branch instruction properties.