Struct DriverEntry 

pub struct DriverEntry {
    pub source: StateCellId,
    pub strength: DriveStrengthPair,
    pub forced: bool,
}

One driver’s own private contribution slot plus its strength (ST-034): source is a StateCellId this driver alone writes to (never shared read-modify-write storage with any other driver or with resolved).

Review fix (Task 14 r2, blocking finding 3) adds forced. Before this fix, force_driver modeled force purely via Supply/Supply strength, relying on strength-grouping (the “every other kind” branch of [combine_bit]) to make it win outright by being the sole top-strength member. That assumption broke the moment r1 changed wand/triand/ wor/trior resolution to skip strength-grouping entirely (matching real LRM/iverilog behavior for the ordinary multi-driver case) — on those net kinds a Supply-strength forced entry is just one more live contributor in the wired-AND/OR fold and can be outvoted. forced is an explicit, net-kind-independent tag: resolve_net_step short-circuits to a forced entry’s own value directly (see its doc comment), the way force/ release (ST-055) are specified to override every other driver outright regardless of net kind or strength. Ordinary drivers always set this false; only force_driver’s own synthetic entry ever sets it true.

Fields

source: StateCellId

strength: DriveStrengthPair

forced: bool

Trait Implementations

impl Clone for DriverEntry

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DriverEntry

impl Debug for DriverEntry

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

Formats the value using the given formatter.

impl Eq for DriverEntry

impl PartialEq for DriverEntry

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DriverEntry