Struct VerifyOut 

pub struct VerifyOut {
    pub ready: bool,
    pub valid: bool,
    pub ok: bool,
    pub error: b8,
    pub tag: b16,
    pub in_flight: b12,
    pub load_key_ready: bool,
    pub key_state: [b2; 16],
    pub internal_error: bool,
    pub sha_ext: ShaRingIn,
}

Outputs of KnownKeyVerifyCore.

Fields

ready: bool

A request offered this cycle is accepted. Never depends on the offered request or on valid: it depends on the core’s registers and on load_key_valid (a key load offered in the same cycle goes first).

valid: bool

One-cycle result pulse. There is no back-pressure: the consumer must take every result.

ok: bool

Verification succeeded.

error: b8

Error code (0 on success).

tag: b16

Tag of the request.

in_flight: b12

Requests in flight: contexts taken and not yet returned (0..=2048). Requests rejected at admission are not counted.

load_key_ready: bool

A key load can start: no load is in progress and the aux machine’s decode path is idle.

key_state: [b2; 16]

Slot states: 0 empty, 1 loading, 2 ready, 3 invalid key.

internal_error: bool

Sticky invariant violation: the compress credit count left its pool (the only invariant checked so far).

sha_ext: ShaRingIn

Jobs for the shared SHA-512 port (SH = 1; idle otherwise).

Trait Implementations

impl Clone for VerifyOut

fn clone(&self) -> VerifyOut

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyOut

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

Formats the value using the given formatter.

impl Digital for VerifyOut

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 VerifyOut

fn eq(&self, other: &VerifyOut) -> 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 VerifyOut

impl StructuralPartialEq for VerifyOut