Struct PlasticineBackend 

pub struct PlasticineBackend {
    pub target: PlasticineTarget,
}

The Plasticine backend: certifies a placement TODAY (backend-agnostic SAT proof). Counted loops reach the open toolchain (Spatial → PIR → plastiroute → Tungsten, mirrored at gitlab.com/dataplane-ai) as Spatial source through super::spatial_emit and largo emit plasticine; a placed straight-line Grid has no Spatial/PIR form yet, so its artifact is the ready-to-bridge neutral placement with the reason stated.

Fields

target: PlasticineTarget

Implementations

impl PlasticineBackend

pub fn isca17() -> Self

pub fn sara_20x20() -> Self

Trait Implementations

impl TargetBackend for PlasticineBackend

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.