Struct StrictVerifyOut 

pub struct StrictVerifyOut {
    pub ready: bool,
    pub valid: bool,
    pub ok: bool,
    pub error: b8,
    pub tag: b16,
    pub occupancy: b7,
}

Output and flow control of StrictVerifyCore.

Fields

ready: bool

High when the core can accept a request.

valid: bool

High for one cycle when the decision fields are valid.

ok: bool

Strict verification result.

error: b8

Stable error code; zero means success.

tag: b16

Delayed request tag.

occupancy: b7

Number of occupied top-level verification contexts.

Trait Implementations

impl Clone for StrictVerifyOut

fn clone(&self) -> StrictVerifyOut

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StrictVerifyOut

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

Formats the value using the given formatter.

impl Digital for StrictVerifyOut

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 StrictVerifyOut

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

impl StructuralPartialEq for StrictVerifyOut