Accelerated Hardware Synthesis (XLS/XLSynth) via Rust
Binary that integrates XLS capabilities into a driver program
Simulation and VCD-oriented utilities for generated Verilog/SystemVerilog
Coverage-guided corpus growth for XLS IR functions
Standalone runtime support for xlsynth AOT artifacts
XLS IR to gate mapping
Shared MCMC infrastructure for xlsynth-* crates
PIR-based MCMC optimization using the shared xlsynth-mcmc engine
xlsynth test helpers
Delay estimation facilities via Rust
partial XLS IR focused on functions
XLS formal pProvers