Skip to main content

Module synthesize

logicaffeine_compile::codegen_sva

Module synthesize 

Source
Expand description

Sprint 5C: Top-Level Synthesis API

Single entry point for hardware synthesis from English specifications. Orchestrates: parse → encode → tactic proof search → extract Verilog.

Structs§

SynthesisConfig
Configuration for the synthesis pipeline.

Enums§

SynthesisResult
Result of the synthesis pipeline.

Functions§

synthesize_from_spec
Synthesize a hardware circuit from an English specification.