Loop Timing Witness
Native controller and runtime interfaces; hardware qualification pending
Loading...
Searching...
No Matches
witness::SpikeAmpTransport Class Reference

#include <spike_amp_transport.h>

Public Member Functions

 SpikeAmpTransport (const sim_t &simulator, Simulation &model, std::uint64_t mailbox_address)
std::uint32_t read_memory32 (std::uint64_t address)
void write_memory32 (std::uint64_t address, std::uint32_t value)
Edge read (std::uint8_t address)
Edge write (std::uint8_t address, std::uint32_t value, std::uint8_t strobes)
std::uint64_t time () const

Detailed Description

Access a bounded reserved mailbox in actual Spike RAM and the actual production fabric.

Definition at line 27 of file spike_amp_transport.h.

Constructor & Destructor Documentation

◆ SpikeAmpTransport()

witness::SpikeAmpTransport::SpikeAmpTransport ( const sim_t & simulator,
Simulation & model,
std::uint64_t mailbox_address )
inline

Bind an entire explicit mailbox to an existing real memory device, without allocating RAM.

Definition at line 42 of file spike_amp_transport.h.

Member Function Documentation

◆ read()

Edge witness::SpikeAmpTransport::read ( std::uint8_t address)
inline

Read the production fabric through actual AXI AR/R channels.

Definition at line 87 of file spike_amp_transport.h.

◆ read_memory32()

std::uint32_t witness::SpikeAmpTransport::read_memory32 ( std::uint64_t address)
inline

Decode actual target little-endian bytes through the real RAM load entry.

Definition at line 63 of file spike_amp_transport.h.

◆ time()

std::uint64_t witness::SpikeAmpTransport::time ( ) const
inline

Observe the original fabric clock model, never host timing or a substituted counter.

Definition at line 93 of file spike_amp_transport.h.

◆ write()

Edge witness::SpikeAmpTransport::write ( std::uint8_t address,
std::uint32_t value,
std::uint8_t strobes )
inline

Write the production fabric through actual AXI AW/W/B channels.

Definition at line 89 of file spike_amp_transport.h.

◆ write_memory32()

void witness::SpikeAmpTransport::write_memory32 ( std::uint64_t address,
std::uint32_t value )
inline

Release only consumer-owned fields through the real RAM store entry.

Definition at line 74 of file spike_amp_transport.h.


The documentation for this class was generated from the following file: