Skip to main content

check_bus

logicaffeine_compile::codegen_sva::ddr2_jedec

Function check_bus 

Source 
pub fn check_bus(
    t: &Ddr2Timing,
    trace: &[BusCmd],
) -> Result<BusFacts, Violation>
Expand description

Hold trace to the JESD79-2 command rules of t. NOP and DESELECT entries carry no command and are passed over; every other command must come on a later clock than the one before it.