Struct SkyVerilogBackend 

pub struct SkyVerilogBackend {
    pub target: FabricTarget,
}

The default backend: our Sky130/FPGA path. A faithful wrapper of the existing free emitters — byte-identical to calling emit_grid_verilog / emit_config_grid_verilog directly.

Fields

target: FabricTarget

Implementations

impl SkyVerilogBackend

pub fn new() -> Self

Trait Implementations

impl Default for SkyVerilogBackend

fn default() -> Self

Returns the “default value” for a type.

impl TargetBackend for SkyVerilogBackend

fn name(&self) -> &str

fn target(&self) -> &FabricTarget

fn emit_grid(&self, name: &str, g: &Grid) -> BackendArtifact

Emit a single placed grid to this backend’s artifact.

fn emit_config_grid( &self, name: &str, grids: &[&Grid], cfg_width: u32, ) -> BackendArtifact

Emit an N-way reconfigurable array of placed grids to this backend’s artifact.

fn certify( &self, g: &Grid, source: &[FabricOp], result: usize, width: u32, ) -> Option<PlacementCertificate>

Prove a placement computes source for every bounded input and return a re-checkable certificate (or None, fail-closed). Backend-agnostic — proof-carrying place-and-route is not tied to the emission format, so every backend inherits it. This is what lets an RDU backend add value before its SDK exists.