Struct VerifyClusterInput 

pub struct VerifyClusterInput {
    pub stream_valid: bool,
    pub stream: VerifyStreamBeat,
    pub result_ready: bool,
    pub external_abort: bool,
}

External streaming interface for the production verifier cluster.

Fields

stream_valid: bool

One 512-bit verifier input beat is present.

stream: VerifyStreamBeat

Signature, public-key, and message bytes plus sideband.

result_ready: bool

Consumer accepts the registered result slot.

external_abort: bool

Registered-parent poison transition that aborts every accepted job.

This signal must come from parent state, never from a combinational union of sibling outputs. That restriction prevents a peer-fault broadcast from forming a hierarchy-wide fixed point. The parent must also withdraw stream_valid and result_ready before asserting it; command-edge output behavior intentionally remains independent of this input, and registered local poison contains the cluster one cycle later.

Trait Implementations

impl Clone for VerifyClusterInput

fn clone(&self) -> VerifyClusterInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyClusterInput

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

Formats the value using the given formatter.

impl Default for VerifyClusterInput

fn default() -> VerifyClusterInput

Returns the “default value” for a type.

impl Digital for VerifyClusterInput

const BITS: usize

Associated constant that gives the total number of bits needed to represent the value.

fn static_kind() -> Kind

Returns the [Kind] (run time type descriptor) of the value as a static method

fn bin(self) -> Box<[BitX]>

Returns the binary representation of the value as a vector of [BitX].

fn dont_care() -> Self

Returns a “don’t care” value for the type.

fn bits() -> usize

Returns the number of bits needed to represent the value.

fn kind(&self) -> Kind

Returns the [Kind] (run time type descriptor) of the value.

fn typed_bits(self) -> TypedBits

Returns the value as a [TypedBits], which includes both the bits and the kind.

fn discriminant(self) -> TypedBits

Returns the discriminant of the value as a [TypedBits].

fn variant_kind(self) -> Kind

Returns the [Kind] of the variant if the value is an enum with variants.

fn binary_string(self) -> String

Returns the binary representation of the value as a string of ‘0’, ‘1’, and ‘X’.

impl PartialEq for VerifyClusterInput

fn eq(&self, other: &VerifyClusterInput) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for VerifyClusterInput

impl Eq for VerifyClusterInput

impl StructuralPartialEq for VerifyClusterInput