Skip to main content

compile_sva_compiler

logicaffeine_compile::codegen_sva::verified_compiler

Function compile_sva_compiler 

Source 
pub fn compile_sva_compiler() -> SvaCompiler
Expand description

P2: Specialize the specializer for SVA synthesis → SVA compiler.

Returns a compiler that, for any spec, produces a compiled generator.