Skip to main content

check_legal

logicaffeine_compile::codegen_sva::dram

Function check_legal 

Source 
pub fn check_legal(t: &DramTimings, plan: &[TimedCmd]) -> Result<(), String>
Expand description

The INDEPENDENT legality checker — a total function over the plan, sharing no code with the scheduler. Returns the first violation as Err(description).