Skip to main content

riscv_decoder_properties

logicaffeine_compile::codegen_sva::protocols::riscv

Function riscv_decoder_properties 

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

Generate decoder mutual exclusion properties.