Skip to main content

circuit_to_sva

logicaffeine_verify::synthesis

Function circuit_to_sva 

Source 
pub fn circuit_to_sva(circuit: &Circuit) -> String
Expand description

Generate SVA monitor from a synthesized circuit.