Struct TargetSpec 

pub struct TargetSpec {
    pub name: &'static str,
    pub verilog_filename: &'static str,
    pub manifest_filename: &'static str,
    pub profile: &'static str,
    pub top_module: &'static str,
    pub description: &'static str,
    pub validation_scope: &'static str,
    pub default_unit_generation: bool,
    /* private fields */
}

Metadata and generator for one extensible RTL target.

Fields

name: &'static str

Stable command-line name.

verilog_filename: &'static str

Deterministic generated Verilog filename.

manifest_filename: &'static str

Deterministic provenance-manifest filename.

profile: &'static str

Cryptographic profile identifier.

top_module: &'static str

Top module expected in the generated Verilog.

description: &'static str

Short human-facing description.

validation_scope: &'static str

Validation boundary attached to this target and copied into manifests.

default_unit_generation: bool

Whether ordinary unit-test generation loops may lower this target.

Trait Implementations

impl Clone for TargetSpec

fn clone(&self) -> TargetSpec

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TargetSpec

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for TargetSpec