pub fn compile_sva_generator(spec: &str) -> Result<CompiledGenerator, String>Expand description
P1: Specialize SVA synthesis for a fixed spec → compiled generator.
Calls synthesize_sva_from_spec once and caches the result.
The returned CompiledGenerator produces SVA without re-synthesis.