Struct IpDualModelMatrix 

pub struct IpDualModelMatrix;

FR103 product entry: co-verify functional + cycle models for the NFR14 IP set.

Implementations

impl IpDualModelMatrix

pub fn new() -> Self

pub fn verify_sync_fifo(&self, hir: FrozenHir) -> EquivStatus

SyncFifo: handwritten FL vs settle+tick on pinned stimulus.

pub fn verify_sync_fifo_with<A: AbstractionView>( &self, hir: FrozenHir, abs: &mut A, ) -> EquivStatus

Deliberate mismatch ATDD for SyncFifo.

pub fn verify_gpio_handwritten(&self, hir: FrozenHir) -> EquivStatus

FR126: handwritten Gpio FL ≡ tick on gpio_dual_stimulus.

pub fn verify_uart_tx_handwritten(&self, hir: FrozenHir) -> EquivStatus

FR135: handwritten UartTx FL ≡ tick on uart_tx_dual_stimulus.

pub fn verify_uart_tx_handwritten_with<A: AbstractionView>( &self, hir: FrozenHir, abs: &mut A, ) -> EquivStatus

Deliberate mismatch / alternate FL ATDD for UartTx (FR135).

pub fn verify_uart_rx_handwritten(&self, hir: FrozenHir) -> EquivStatus

FR163: handwritten UartRx FL ≡ tick on uart_rx_dual_stimulus.

pub fn verify_uart_rx_handwritten_with<A: AbstractionView>( &self, hir: FrozenHir, abs: &mut A, ) -> EquivStatus

Deliberate mismatch / alternate FL ATDD for UartRx (FR163).

pub fn verify_spi_master_handwritten(&self, hir: FrozenHir) -> EquivStatus

FR168: handwritten SpiMaster FL ≡ tick on spi_master_dual_stimulus.

pub fn verify_spi_master_handwritten_with<A: AbstractionView>( &self, hir: FrozenHir, abs: &mut A, ) -> EquivStatus

Deliberate mismatch / alternate FL ATDD for SpiMaster (FR168).

pub fn verify_i2c_master_handwritten(&self, hir: FrozenHir) -> EquivStatus

FR168: handwritten I2cMaster FL ≡ tick on i2c_master_dual_stimulus.

pub fn verify_i2c_master_handwritten_with<A: AbstractionView>( &self, hir: FrozenHir, abs: &mut A, ) -> EquivStatus

Deliberate mismatch / alternate FL ATDD for I2cMaster (FR168).

pub fn verify_axi4_lite_slave_handwritten(&self, hir: FrozenHir) -> EquivStatus

FR168: handwritten Axi4LiteSlave FL ≡ tick on axi4_lite_slave_dual_stimulus.

pub fn verify_axi4_lite_slave_handwritten_with<A: AbstractionView>( &self, hir: FrozenHir, abs: &mut A, ) -> EquivStatus

Deliberate mismatch / alternate FL ATDD for Axi4LiteSlave (FR168).

pub fn verify_generated_rst_compare(&self, hir: FrozenHir) -> EquivStatus

UART/SPI/I2C/AXI: generated FL ≡ tick via FormalEquivProduct (rst alphabet).

pub fn verify_handwritten<A: AbstractionView>( &self, hir: FrozenHir, abs: &mut A, stimuli: impl IntoIterator<Item = PortValues>, ) -> EquivStatus

Convenience: handwritten equiv path (for fixtures that supply their own FL).

Trait Implementations

impl Clone for IpDualModelMatrix

fn clone(&self) -> IpDualModelMatrix

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IpDualModelMatrix

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

Formats the value using the given formatter.

impl Default for IpDualModelMatrix

fn default() -> IpDualModelMatrix

Returns the “default value” for a type.