§ 3.3. Memory Controllers

Controllers translate memory transactions into the different native interfaces in 3.1. They own request/response state, not memory contents. A complete endpoint connects a controller to a separate memory device.

Component	Description	Structural	Behavioral
MemoryController<T,W>	Zero-wait FF path or delayed technology-specific control	Yes	Yes
MemoryEndpoint<T,W>	Controller plus native device, or a fused behavioral endpoint	Yes	Yes

T is ff, sram, dram, rom, or nor-flash; W is 8, 16, or 32. Angle brackets describe dimensions in visualizer labels; the C++ controller/endpoint constructors take width and technology as arguments.

All RV32I cores use this universal endpoint interface. The single-cycle core and baseline pipeline select zero-wait FF endpoints; the transaction-capable pipeline can also use delayed technologies. A controller translates interfaces. For the flip-flop technology it imposes no cycle delay. A delayed technology finishes at a moment unrelated to the clock, so its sequencer shows the completion, the result and its readiness only at the next clock edge; that costs one cycle per access, and everything the requester sees changes just after an edge. Capacity alone never requires a delay.

Configuration

Controller and native device must agree on depth, row/block geometry, and timing. MemoryEndpoint constructs matching pairs. Standalone-controller users must connect a device with the same configuration.

Parameter	Default	Meaning
depth_words	4	Addressable words; capacity is N×W/8 bytes
words_per_row	2	Matrix words per row; 1/2/4/8/16 dividing N
block_words	2	NOR erase block; whole rows dividing N
phase_ticks	32	Native device phase spacing
guard_ticks	64	Setup/recovery interval around native command strobes; minimum 64
program_ticks, erase_ticks	128, 256	NOR operation intervals
retention_ticks	1,000,000,000	DRAM closed-row retention interval
refresh_interval_ticks	10,000	Controller refresh-start target; 0 deliberately disables refresh
image_hex	Empty	ROM construction-time image; unspecified tail is zero
always_ready	0	FF-only zero-wait contract: require RSP_READY=1 and omit response retention

Capacity must be nonzero and fit below 2^32 bytes. Matrix geometry applies to SRAM/DRAM/ROM/NOR, and block geometry only to NOR. FF ignores the native phase/guard/program timing fields; its cycle must still allow the circuit to settle. For delayed controllers, accepted timing ranges are 32…10,000 for phase ticks, 64…1,000,000 for guards, phase…1,000,000 for programming, program…10,000,000 for erase, and 1,024…1,000,000,000 for DRAM retention. Refresh configuration must additionally meet the retention coverage check below. Unsupported values are rejected during construction.

Expanded endpoint storage is limited to 4,096 cells. Request memory.<technology>.scalable-endpoint.<width> instead of memory.<technology>.endpoint.<width> to keep the controller visible while attaching a scalable native MemoryContainer; this removes the cell-expansion limit, not native timing or host resource limits. Standalone controllers do not allocate those cells. The universal interface does not make native SRAM/ROM suddenly clocked: their controller is clocked, while their access pins remain asynchronous. Device command strobes are generated with explicit setup/recovery guards; this is a digital simulator controller, not a calibrated DDR PHY.

3.3.1. MemoryController<T,W>

Connects a requester to an external native device, or buffers another transaction endpoint.

IO pins

The requester side is exactly the common protocol: CLK/RST, REQ_VALID/READY, REQ_OP, REQ_ADDR, REQ_WRITE_DATA/MASK, RSP_VALID/READY, RSP_READ_DATA/STATUS. Backend-only START/FINISH/DONE pins are internal, not part of this component's public interface.

Native pin names have a MEM_ prefix. Directions below are relative to the controller.

Technology	Controller outputs → device inputs	Device outputs → controller inputs
FF	MEM_WORD_ADDR<32>, MEM_WRITE_DATA<W>, MEM_WRITE_MASK<W/8>, MEM_CLK, MEM_RST, MEM_WE, MEM_READ_EN	MEM_READ_DATA<W>, MEM_FAULT
SRAM	MEM_WORD_ADDR<32>, MEM_WRITE_DATA<W>, MEM_WRITE_MASK<W/8>, MEM_CE_N, MEM_WE_N, MEM_OE_N	MEM_READ_DATA<W>
ROM	MEM_WORD_ADDR<32>, MEM_CE_N, MEM_OE_N	MEM_READ_DATA<W>
DRAM	MEM_ADDR<32>, MEM_WRITE_DATA<W>, MEM_WRITE_MASK<W/8>, MEM_CLK, MEM_CMD<3>	MEM_READ_DATA<W>, MEM_BUSY, MEM_ERROR, MEM_READ_VALID
NOR flash	MEM_WORD_ADDR<32>, MEM_WRITE_DATA<W>, MEM_WRITE_MASK<W/8>, MEM_CLK, MEM_CMD<3>	MEM_READ_DATA<W>, MEM_BUSY, MEM_ERROR, MEM_READ_VALID

Unannotated controls/status pins are one bit. Native FF reset is held low: protocol reset does not clear its storage. A reset during a launched operation suppresses the abandoned response but does not undo an accepted write.

Behavior

For FF, validation and reads are combinational and accepted writes use the shared clock. For delayed devices, the sequencer captures and translates request fields on the acceptance edge. Invalid requests never issue native operations. Results are captured before native pins are released and are held independently of subsequent device activity.

Technology	Access sequence
FF	Validate/address-map combinationally → read during the cycle or write on its shared rising edge; response bypasses empty buffer
SRAM	Select CE/WE/OE and stable payload → wait four native phases plus guards → capture/release
ROM	Select address/output → wait settling interval → capture/release; reject modifications
DRAM	Reuse matching open row; otherwise PRECHARGE if needed, ACTIVATE row, READ/WRITE slot; wait for completion
NOR flash	READ, or WREN followed by PROGRAM/ERASE; wait BUSY, check ERROR and read-valid

DRAM refresh is serviced when the bus clock runs, including while a response is held under backpressure. Due refresh is inserted before an accepted DRAM access, so continuous traffic cannot starve maintenance. It closes an open row before issuing REFRESH. Configuration rejects a refresh schedule that cannot cover all rows within retention, including a conservative access-service allowance. Stopping the bus clock also stops starting maintenance; data can expire. REFRESH cannot recover already lost data. Timing experiments with refresh disabled must use finite simulation windows and expect retention effects.

C++ example

The controller combines the Port<W> reference from 3.2 with the explicit Sequence reference below. It owns no device and no backing storage. Request validation, native pin generation, command queues, refresh, error handling, and reset draining are shown here; no production sequencer is called. The caller supplies device feedback through read_native and connects native_pins() to a separate device.

Sequence and Controller below are documentation-only reference classes, not registered components. Paste 3.2 before this excerpt. Only the project's value/configuration types and small signal/conversion helpers are reused (Bits, Request, Signals, signal, high, bits, number, known, and overflow-checked after). Pin dictionary keys omit the public MEM_ prefix. Call at input changes and each nonzero deadline. One transition runs per deadline; a stopped bus clock does not stop an already scheduled native command, but does stop starting new refresh maintenance.

// Requires memory_example::Port<W> from the 3.2 example.
#include "MemoryEndpointEngine.hpp"

namespace memory_example {
class Sequence {
    enum class Phase { Idle, Setup, ClockHigh, Capture, StaticAccess,
                       CommandHigh, CommandLow, CommandWait, Release };
    struct Command { unsigned op; std::uint32_t address; };
    std::size_t width_, due_ = 0, next_refresh_ = 0, row_ = 0;
    Technology technology_;
    EndpointConfig config_;
    Phase phase_ = Phase::Idle;
    Request request_;
    std::deque<Command> commands_;
    bool aborted_ = false, maintenance_ = false, row_open_ = false;
    // An operation has ended (finished_: with a response) and the next clock
    // edge has not yet shown it; work_* hold its result until then.
    bool finished_ = false, settling_ = false;
    Bits work_result_;
    Status work_status_ = Status::Ok;

public:
    Status validate(const Request& r) const {
        if (!known(r.op) || !known(r.address)) return Status::InvalidRequest;
        const auto op = number(r.op), a = number(r.address);
        if (op > 3) return Status::Unsupported;
        if ((op == 1 || op == 2) && !known(r.mask)) return Status::InvalidRequest;
        if (a % (width_ / 8)) return Status::Alignment;
        if (a / (width_ / 8) >= config_.depth_words) return Status::Range;
        if (technology_ == Technology::ROM && op) return Status::ReadOnly;
        if (technology_ == Technology::NORFlash) {
            if (op == 1) return Status::Unsupported;
            if (op == 3 && (a / (width_ / 8)) % config_.block_words) return Status::Alignment;
        } else if (op > 1) return Status::Unsupported;
        return Status::Ok;
    }
private:
    void idle() {
        for (auto p : {"CLK", "RST", "WE", "READ_EN", "REQ_VALID", "RSP_READY"}) outputs[p] = {L};
        for (auto p : {"CE_N", "WE_N", "OE_N"}) outputs[p] = {H};
        for (auto p : {"CMD", "REQ_OP"}) outputs[p] = bits(3, 0);
        for (auto p : {"ADDR", "WORD_ADDR", "REQ_ADDR"}) outputs[p] = bits(32, 0);
        outputs["WRITE_DATA"] = outputs["REQ_WRITE_DATA"] = Bits(width_, L);
        outputs["WRITE_MASK"] = outputs["REQ_WRITE_MASK"] = Bits(width_ / 8, L);
    }
    void finish(std::size_t t) {
        idle(); phase_ = Phase::Release; due_ = after(t, config_.guard_ticks);
    }
    void command(std::size_t t) {
        if (commands_.empty()) { finish(t); return; }
        outputs["CLK"] = {L}; outputs["CMD"] = bits(3, commands_.front().op);
        outputs["ADDR"] = outputs["WORD_ADDR"] = bits(32, commands_.front().address);
        phase_ = Phase::CommandHigh; due_ = after(t, config_.guard_ticks);
    }
public:
    bool done = false, available = true;
    Bits result;
    Status status = Status::Ok;
    Signals outputs;
    Sequence(std::size_t w, Technology technology, EndpointConfig config)
        : width_(w), technology_(technology), config_(config), work_result_(w, L), result(w, L) { idle(); }
    std::size_t deadline() const { return due_; }
    void step(std::size_t t, bool edge, bool reset, bool start, const Request& request,
              const std::function<Bits(const std::string&, std::size_t)>& read, bool finish_response = false) {
        if (edge && finish_response) done = false;
        if (reset) aborted_ = true; // Drain launched work; suppress its response.
        if (phase_ == Phase::Idle) {
            if (reset) { done = false; finished_ = settling_ = false; available = false; return; }
            // The device is timed in ticks, but the sequencer speaks to the
            // transaction port only at a clock edge: a finished operation
            // shows DONE, its result and BACK_READY at the next edge.
            const bool was_available = !settling_;
            if (edge) {
                if (finished_) { done = true; result = work_result_; status = work_status_; finished_ = false; }
                settling_ = false;
            }
            available = !settling_;
            if (done || finished_) return;
            const bool refresh_due = technology_ == Technology::DRAM &&
                config_.refresh_interval_ticks && t >= next_refresh_;
            // A refresh starts only once the backend has been seen ready for
            // an edge, so a waiting request is never overtaken by refreshes.
            const bool refresh = refresh_due && edge && !start && was_available;
            if (!(start && edge) && !refresh) { aborted_ = false; return; }
            aborted_ = false; maintenance_ = refresh; available = false; settling_ = true;
            work_status_ = Status::Ok; work_result_.assign(width_, L);
            status = Status::Ok; result.assign(width_, L); commands_.clear();
            if (refresh) { // Idle maintenance; no request was accepted.
                if (row_open_) commands_.push_back({4, 0});
                commands_.push_back({5, 0});
                next_refresh_ = after(t, config_.refresh_interval_ticks);
                command(t); return;
            }
            request_ = request; work_status_ = validate(request);
            if (work_status_ != Status::Ok) { finish(t); return; }
            const auto op = number(request.op);
            const auto word = number(request.address) / (width_ / 8);
            outputs["WORD_ADDR"] = bits(32, word);
            outputs["WRITE_DATA"] = request.data; outputs["WRITE_MASK"] = request.mask;
            if (technology_ == Technology::FF) {
                phase_ = Phase::Setup; due_ = after(t, config_.guard_ticks); return;
            }
            if (technology_ == Technology::SRAM || technology_ == Technology::ROM) {
                outputs["CE_N"] = {L}; outputs["WE_N"] = {op == 1 ? L : H};
                outputs["OE_N"] = {op == 0 ? L : H};
                phase_ = Phase::StaticAccess;
                due_ = after(t, 4 * config_.phase_ticks + 2 * config_.guard_ticks); return;
            }
            if (technology_ == Technology::DRAM) {
                const auto row = word / config_.words_per_row;
                if (refresh_due) {
                    if (row_open_) commands_.push_back({4, 0});
                    commands_.push_back({5, 0});
                    next_refresh_ = after(t, config_.refresh_interval_ticks);
                } else if (row_open_ && row_ != row) commands_.push_back({4, 0});
                if (refresh_due || !row_open_ || row_ != row) commands_.push_back({1, std::uint32_t(row)});
                commands_.push_back({op == 0 ? 2u : 3u, std::uint32_t(word % config_.words_per_row)});
            } else {
                if (op) commands_.push_back({4, 0}); // WREN before either mutation.
                commands_.push_back({op == 0 ? 1u : op == 2 ? 2u : 3u, std::uint32_t(word)});
            }
            command(t); return;
        }
        available = false;
        if (!due_ || t < due_) return;
        due_ = 0;
        switch (phase_) {
        case Phase::Setup:
            outputs["WE"] = {number(request_.op) == 1 ? H : L};
            outputs["READ_EN"] = {number(request_.op) == 0 ? H : L};
            phase_ = Phase::ClockHigh; due_ = after(t, config_.guard_ticks); break;
        case Phase::ClockHigh:
            outputs["CLK"] = {H}; phase_ = Phase::Capture; due_ = after(t, config_.guard_ticks); break;
        case Phase::Capture:
            if (read("FAULT", 1) != Bits{L}) work_status_ = Status::Device;
            if (number(request_.op) == 0) work_result_ = read("READ_DATA", width_);
            finish(t); break;
        case Phase::StaticAccess:
            if (number(request_.op) == 0) work_result_ = read("READ_DATA", width_);
            finish(t); break;
        case Phase::CommandHigh:
            outputs["CLK"] = {H}; phase_ = Phase::CommandLow; due_ = after(t, config_.guard_ticks); break;
        case Phase::CommandLow: {
            outputs["CLK"] = {L}; outputs["CMD"] = bits(3, 0);
            auto op = commands_.front().op;
            std::size_t wait = config_.phase_ticks;
            if (technology_ == Technology::DRAM) wait *= op == 5 ? 5 : op == 2 ? 1 : 3;
            else if (op == 2 || op == 3)
                wait = (op == 2 ? config_.program_ticks : config_.erase_ticks) + 2 * config_.phase_ticks;
            phase_ = Phase::CommandWait; due_ = after(t, wait + config_.guard_ticks); break;
        }
        case Phase::CommandWait: {
            if (read("BUSY", 1) != Bits{L}) { due_ = after(t, config_.guard_ticks); break; }
            if (read("ERROR", 1) != Bits{L}) { work_status_ = Status::Device; commands_.clear(); finish(t); break; }
            auto cmd = commands_.front(); commands_.pop_front();
            if (technology_ == Technology::DRAM) {
                if (cmd.op == 1) { row_open_ = true; row_ = cmd.address; }
                if (cmd.op == 4) row_open_ = false;
            }
            if ((technology_ == Technology::DRAM && cmd.op == 2) ||
                (technology_ == Technology::NORFlash && cmd.op == 1)) {
                if (read("READ_VALID", 1) != Bits{H}) work_status_ = Status::Device;
                else work_result_ = read("READ_DATA", width_);
            }
            command(t); break;
        }
        case Phase::Release:
            phase_ = Phase::Idle; finished_ = !maintenance_ && !aborted_; break;
        default: break;
        }
        if (work_status_ != Status::Ok) work_result_.assign(width_, L);
    }
};

template<std::size_t W>
class Controller {
    static EndpointConfig checked(Technology t, EndpointConfig c) { c.validate(W,t); return c; }
    Technology technology_;
    bool always_ready_;
    Port<W> port_;
    ResponseBuffer<W> response_; // Used by the buffered FF configuration.
    Sequence sequence_;         // Only stepped for delayed technologies.
    Signals pins_;
    bool previous_clock_ = false;
public:
    struct Inputs {
        bool clock = false, reset = false;
        bool request_valid = false, response_ready = false;
        Request request{bits(3, 0), bits(32, 0), Bits(W, L), Bits(W / 8, L)};
    };
    Controller(Technology t, EndpointConfig c)
        : technology_(t), always_ready_(c.always_ready),
          sequence_(W,t,checked(t,c)), pins_(sequence_.outputs) {}
    const Signals& native_pins() const { return pins_; }
    std::size_t next_event_time() const { return sequence_.deadline(); }

    typename Port<W>::Outputs step(std::size_t time, const Inputs& in,
        const std::function<Bits(const std::string&, std::size_t)>& read_native) {
        const bool edge = !previous_clock_ && in.clock;
        previous_clock_ = in.clock;
        if (technology_ == Technology::FF) {
            typename ResponseBuffer<W>::Inputs r;
            r.reset=in.reset; r.edge=edge; r.ready=in.response_ready;
            const bool accept=in.request_valid &&
                (always_ready_ ? !in.reset : response_.outputs(r).ready);
            auto status=sequence_.validate(in.request);
            const auto op=number(in.request.op);
            pins_["CLK"]={in.clock?H:L}; pins_["RST"]={L};
            pins_["WORD_ADDR"]=bits(32,number(in.request.address)/(W/8));
            pins_["WRITE_DATA"]=in.request.data; pins_["WRITE_MASK"]=in.request.mask;
            pins_["WE"]={accept && status==Status::Ok && op==1?H:L};
            pins_["READ_EN"]={accept && status==Status::Ok && op==0?H:L};
            // The caller settles the separate native device before feedback.
            const auto data=read_native("READ_DATA",W);
            if (status==Status::Ok && read_native("FAULT",1)==Bits{H}) status=Status::Device;
            r.valid=accept; r.status=bits(3,unsigned(status));
            r.data=status==Status::Ok && op==0?data:Bits(W,L);
            if (always_ready_)
                return {!in.reset,accept,false,false,in.request,r.data,r.status};
            response_.step(r);
            auto out=response_.outputs(r);
            // Recompute bypass VALID when capture has filled the buffer.
            r.valid=in.request_valid && out.ready;
            out=response_.outputs(r);
            return {out.ready,out.valid,false,false,in.request,out.data,out.status};
        }
        typename Port<W>::Inputs front;
        front.rising_edge=edge; front.reset=in.reset;
        front.request_valid=in.request_valid; front.response_ready=in.response_ready;
        front.request=in.request; front.backend_ready=sequence_.available;
        front.done=sequence_.done; front.result=sequence_.result;
        front.status=bits(3,unsigned(sequence_.status));
        const auto before=port_.outputs(front);
        port_.step(front);
        sequence_.step(time,edge,in.reset,before.start,in.request,read_native,before.finish);
        pins_=sequence_.outputs;
        front.backend_ready=sequence_.available; front.done=sequence_.done;
        front.result=sequence_.result; front.status=bits(3,unsigned(sequence_.status));
        return port_.outputs(front);
    }
};
} // namespace memory_example

The delayed port tracks pending work and retains responses only when needed; the sequencer captures and validates fields, maps byte addresses to native addresses, issues commands, and waits for device completion. For DRAM this includes row changes and refresh. For NOR it includes WREN, PROGRAM/ERASE, and BUSY/error handling. For Technology::Container it forwards transactions and the bus clock to another endpoint. There is no generic “one delayed array access” replacing these sequences.

Start with reset asserted and a known-low clock. Step at input changes, clock changes, and every sequencer/device deadline; settle the separate device before sampling its feedback, then update it with the new native outputs. Signals uses unprefixed native names (CLK, CMD, etc.); the actual controller exposes these as MEM_* pins. The returned view includes the frontend's internal START/payload for inspection; those are not additional public controller pins. Gate propagation and wire scheduling are omitted, not device timing or reset-draining policy.

This reference is a teaching listing, separate from the registered behavioral controller described under Implementation. Tests execute it with separate FF/SRAM/DRAM/ROM/NOR models, including reset during programming. Invalid requests must not issue a native access for that request; independent DRAM refresh may still proceed.

Unknown inputs and timing

Handshake controls must be binary. Required unknown payload fields return INVALID_REQUEST; unknown read contents remain X and are not a readiness signal. Native BUSY/ERROR/READ_VALID must settle before completion. The controller does not guess completion from READ_DATA and has no implicit timeout that could cause a store to be retried twice. Clock setup/hold requirements apply to structural paths; command guards apply only to timed native operations. Reset suppresses response delivery but drains a launched sequence; it cannot roll back its side effects.

Implementation

Structural implementation

For FF, REQUEST_CHECK is structural address/operation validation. Power-of-two byte capacities use a balanced high-address-bit check; other capacities use a balanced constant comparison. The general FF controller uses RESPONSE, the fall-through FF buffer. With always_ready=1, the consumer must keep RSP_READY=1; the controller instead sends the accepted response directly in the same cycle and stores no response payload. This mode is used by the fixed-cycle RV32I cores, while the general and advanced-pipeline endpoints retain backpressure support. There is no native command sequencer or extra cycle. For delayed technologies, TRANSACTION is the gate/FF-built frontend from 3.2. DEVICE_CONTROL is an explicitly named terminal timed digital sequencer, not an expanded gate-level FSM or analog model. It holds native command state and deadlines but no contents. This classification is intentional: the register/control boundary is visible, while technology access sequencing is a primitive, like the existing native device command controls.

Behavioral implementation

MemoryControllerBehavioral is the whole controller as one part. It keeps the same state as the structural form (one pending request, one held response, and the native sequencer's phase) and applies the same rules: the flip-flop path validates and answers in the same cycle, and the other technologies step the shared NativeSequence that the structural sequencer also uses, so native pin activity is identical. It owns no device and no storage. An endpoint requests its controller through the catalog, so a profile can show the controller as gates or as this one part; MemoryEndpointContractTest compares the two in front of the same device for all five technologies.

Examples

All 56 recorded rows of MemoryControllerTest, in checkpoint order. Outputs are test expectations verified against the simulation. Time is the absolute settled checkpoint time in simulator units, not milliseconds or CPU cycles.

Default scenario profile: canonical-default-preview / structural (d57a5ed1eeab12fc). Changing fidelity or the circuit can change these times.

Checkpointzero-based number · timeline label	Timesimulator units	CLKInput · 1 bit	MEM_FAULTInput · 1 bit	MEM_READ_DATAInput · 8 bit	REQ_ADDRInput · 32 bit	REQ_OPInput · 3 bit	REQ_VALIDInput · 1 bit	REQ_WRITE_DATAInput · 8 bit	REQ_WRITE_MASKInput · 1 bit	RSP_READYInput · 1 bit	RSTInput · 1 bit	MEM_CLKExpected output · 1 bit	MEM_READ_ENExpected output · 1 bit	MEM_RSTExpected output · 1 bit	MEM_WEExpected output · 1 bit	MEM_WORD_ADDRExpected output · 32 bit	MEM_WRITE_DATAExpected output · 8 bit	MEM_WRITE_MASKExpected output · 1 bit	REQ_READYExpected output · 1 bit	RSP_READ_DATAExpected output · 8 bit	RSP_STATUSExpected output · 3 bit	RSP_VALIDExpected output · 1 bit
#0reset	26	0	0	0xA5	0x00000000	0x0	0	0x00	0	0	1	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	not checked	not checked	0
#1release-reset	30	0	0	0xA5	0x00000000	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	not checked	not checked	not checked
#2read-attached-port-setup	41	0	0	0xA5	0x00000000	0x0	1	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	not checked	not checked	not checked
#3read-attached-port-accept	55	1	0	0xA5	0x00000000	0x0	1	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	not checked	not checked	not checked
#4read-attached-port-latched	80	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#5read-attached-port-execute	85	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#6read-attached-port-wait-low-0	90	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#7read-attached-port-wait-high-0	95	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#8read-attached-port-wait-low-1	100	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#9read-attached-port-wait-high-1	105	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#10read-attached-port-wait-low-2	110	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#11read-attached-port-wait-high-2	115	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#12read-attached-port-wait-low-3	120	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#13read-attached-port-wait-high-3	125	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#14read-attached-port-wait-low-4	130	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#15read-attached-port-wait-high-4	135	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#16read-attached-port-response	140	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	0xA5	0x0	1
#17read-attached-port-hold	145	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	0xA5	0x0	1
#18read-attached-port-ready	156	0	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	1	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	0xA5	0x0	1
#19read-attached-port-consumed	164	1	0	0xA5	0xFFFFFFFF	0x0	0	0x00	0	1	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	not checked	not checked	0
#20write-attached-port-setup	198	0	0	0xA5	0x00000000	0x1	1	0x3C	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	not checked	not checked	not checked
#21write-attached-port-accept	209	1	0	0xA5	0x00000000	0x1	1	0x3C	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	not checked	not checked	not checked
#22write-attached-port-latched	234	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#23write-attached-port-execute	239	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#24write-attached-port-wait-low-0	244	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#25write-attached-port-wait-high-0	249	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#26write-attached-port-wait-low-1	254	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#27write-attached-port-wait-high-1	259	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#28write-attached-port-wait-low-2	264	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#29write-attached-port-wait-high-2	269	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#30write-attached-port-wait-low-3	274	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#31write-attached-port-wait-high-3	279	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#32write-attached-port-wait-low-4	284	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#33write-attached-port-wait-high-4	289	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#34write-attached-port-response	294	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	0x00	0x0	1
#35write-attached-port-hold	299	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	0x00	0x0	1
#36write-attached-port-ready	310	0	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	1	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	0x00	0x0	1
#37write-attached-port-consumed	318	1	0	0xA5	0xFFFFFFFF	0x1	0	0x00	1	1	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	not checked	not checked	0
#38native-fault-setup	343	0	1	0xA5	0x00000000	0x0	1	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	not checked	not checked	not checked
#39native-fault-accept	357	1	1	0xA5	0x00000000	0x0	1	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	not checked	not checked	not checked
#40native-fault-latched	382	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#41native-fault-execute	387	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#42native-fault-wait-low-0	392	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#43native-fault-wait-high-0	397	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#44native-fault-wait-low-1	402	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#45native-fault-wait-high-1	407	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#46native-fault-wait-low-2	412	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#47native-fault-wait-high-2	417	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#48native-fault-wait-low-3	422	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#49native-fault-wait-high-3	427	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#50native-fault-wait-low-4	432	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#51native-fault-wait-high-4	437	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked	not checked
#52native-fault-response	442	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	0x00	0x5	1
#53native-fault-hold	447	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	0	0x00	0x5	1
#54native-fault-ready	458	0	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	1	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	0x00	0x5	1
#55native-fault-consumed	466	1	1	0xA5	0xFFFFFFFF	0x0	0	0x00	0	1	0	not checked	not checked	not checked	not checked	not checked	not checked	not checked	1	not checked	not checked	0

Scroll within the table for all rows and pins. Buses use hexadecimal; values containing X/Z use MSB-first binary. Inputs show the declared values in effect at each checkpoint, including retained inputs. Sequential tests also replay preparation changes between checkpoints, such as lowering the clock. Use the matching checkpoint label in the simulation below.

Standalone FF controller with an externally driven MEM_READ_DATA=0xA5, first reading that value and then writing 0x3C. The mock device pins make the controller boundary visible; full real-device connections follow below. The complete table includes every request, wait, backpressure, and consume checkpoint.

Embedded simulation

Open MemoryController in the simulator

Source and tests

• Public interface: MemoryController.hpp
• Structural wiring: MemoryController.cpp
• Native sequencing: MemoryEndpointEngine.cpp
• MemoryControllerTest, MemoryEndpointContractTest, and MemoryEndpointTimingTest in MemoryEndpointTests.cpp.
• MemoryEndpointIntegrationTest executes the documented C++ frontend/controller and endpoint construction checks.

3.3.2. MemoryEndpoint<T,W>

Assembly of CONTROLLER and MEMORY. Unlike a standalone controller, this component includes actual storage. Its fused behavioral implementation is BehavioralMemoryEndpoint, replacing both controller and device at this boundary. A MemoryContainer replaces only the native device and keeps that device's pins.

IO pins

Pin	Direction	Width	Description
CLK, RST, REQ_VALID, RSP_READY	Input	1	Shared clock, interface reset, handshakes
REQ_OP	Input	3	Operation
REQ_ADDR	Input	32	Aligned byte address
REQ_WRITE_DATA	Input	W	Positioned data
REQ_WRITE_MASK	Input	W/8	Byte enables
REQ_READY, RSP_VALID	Output	1	Request acceptance / response available
RSP_READ_DATA	Output	W	Result
RSP_STATUS	Output	3	Status

Behavior

The shared protocol and selected technology rules apply unchanged. Native addresses, enables and command status remain visible inside the assembled endpoint.

C++ example

The endpoint adds wiring and evaluation order, not another memory algorithm. This reference owns the preceding controller and a separately supplied device reference. Device provides update(time,pins), read(pin,width), and deadline(); CompactDevice below is one usable implementation for the controller's valid command stream. Both receive the same validated configuration. CompactEndpoint below spells out the equivalent pending/response state and the FF bypass. Neither representation adds an endpoint state machine beyond its controller.

Call step on input changes and at the earliest reported deadline, as for the constituent references. The factory at the bottom shows how to construct the actual simulator component; it is separate from the reference algorithm.

#include "components/Component.hpp"
#include "modules/memory/MemoryController.hpp"
#include <algorithm>
namespace memory_example {
template<std::size_t W, class Device>
struct Endpoint {
    Technology technology;
    Controller<W> controller;
    Device device;
    Endpoint(Technology t, EndpointConfig config)
        : technology(t), controller(t, config), device(config) {}
    auto step(std::size_t time, const typename Controller<W>::Inputs& in) {
        device.update(time, controller.native_pins());
        auto out = controller.step(time, in, [&](const std::string& pin, std::size_t width) {
            if (technology == Technology::FF) device.update(time, controller.native_pins());
            return device.read(pin, width);
        });
        device.update(time, controller.native_pins());
        return out;
    }
    std::size_t next_event_time() const {
        auto a = controller.next_event_time(), b = device.deadline();
        return a == 0 ? b : b == 0 ? a : std::min(a, b);
    }
};
} // namespace memory_example

std::shared_ptr<MemoryEndpoint> make_sram_endpoint() {
    circuit::memory::EndpointConfig config;
    config.depth_words = 4;
    config.words_per_row = 2;
    return Component::create<MemoryEndpoint>("MEMORY", 8, circuit::memory::Technology::SRAM, config);
}

// Fused behavioral endpoint reference. CompactDevice below is valid only for
// the validated, stable native command stream generated by Sequence. For
// arbitrary native pin traffic, use the complete references in 3.1.1–3.1.5.
#include "modules/memory/MemoryContainer.hpp"
#include "MemoryEndpointEngine.hpp" // Internal helpers, reused for this excerpt.
#include <algorithm>
#include <map>

namespace memory_example {
using namespace circuit::memory;

template<std::size_t W, class Model>
class CompactDevice {
    static constexpr auto technology = Model::technology;
    EndpointConfig config_;
    Signals outputs_, latched_;
    LogicValue previous_clock_ = X;
    std::size_t due_ = 0, row_ = 0, col_ = 0, refresh_row_ = 0, address_ = 0;
    unsigned op_ = 0, stage_ = 0;
    bool selected_ = false, open_ = false, enabled_ = false;
    std::map<std::size_t, std::size_t> closed_;
    Bits buffer_, data_, mask_;
    bool edge(const Signals& s) {
        auto clock = signal(s, "CLK")[0];
        bool rising = previous_clock_ == L && clock == H;
        previous_clock_ = clock; return rising;
    }
    void write(std::size_t t, std::size_t word, const Bits& data,
               const Bits& mask, bool program = false) {
        auto old = storage.readLogic(word * (W / 8), W / 8);
        for (std::size_t byte = 0; byte < W / 8; ++byte) if (mask[byte] == H) {
            Bits lane(8);
            for (std::size_t bit = 0; bit < 8; ++bit) {
                auto b = byte * 8 + bit;
                auto d = stored(data[b]); // Z becomes stored X.
                lane[bit] = !program ? d : old[b] == L || d == L ? L :
                            old[b] == H && d == H ? H : X;
            }
            storage.writeLogic(t, word * (W / 8) + byte, lane, true);
        }
    }
    void dram(std::size_t t, const Signals& s) {
        if (due_ && t >= due_) {
            due_ = 0; ++stage_;
            auto first = row_ * config_.words_per_row * (W / 8);
            if (op_ == 1 || op_ == 5) { // ACT or one-row REFRESH.
                if (stage_ == 1) {
                    auto it = closed_.find(row_);
                    auto closed = it == closed_.end() ? 0 : it->second;
                    buffer_ = t - closed >= config_.retention_ticks ? Bits(buffer_.size(), X) :
                              storage.readLogic(first, buffer_.size() / 8);
                    storage.writeLogic(t, first, Bits(buffer_.size(), X)); // Destructive sample.
                } else if (stage_ == 2) storage.writeLogic(t, first, buffer_); // Restore.
                else if (stage_ == 3) {
                    if (op_ == 1) { open_ = true; outputs_["BUSY"] = {L}; }
                    else closed_[row_] = t;
                } else if (stage_ == 5) {
                    refresh_row_ = (refresh_row_ + 1) % (config_.depth_words / config_.words_per_row);
                    outputs_["BUSY"] = {L};
                }
            } else if (op_ == 2) {
                outputs_["READ_DATA"] = Bits(buffer_.begin() + col_ * W, buffer_.begin() + (col_ + 1) * W);
                outputs_["READ_VALID"] = {H}; outputs_["BUSY"] = {L};
            } else if (op_ == 3) {
                if (stage_ == 1) {
                    for (std::size_t b = 0; b < W; ++b)
                        if (mask_[b / 8] == H) buffer_[col_ * W + b] = stored(data_[b]);
                    // Only selected bytes are program writes; row restoration is not.
                    write(t, row_ * config_.words_per_row + col_, data_, mask_);
                } else if (stage_ == 3) outputs_["BUSY"] = {L};
            } else if (op_ == 4) {
                if (stage_ == 1) closed_[row_] = t;
                if (stage_ == 3) { open_ = false; outputs_["BUSY"] = {L}; }
            }
            if (high(outputs_, "BUSY")) due_ = after(t, config_.phase_ticks);
        }
        if (!edge(s)) return;
        auto op = number(signal(s, "CMD", 3)), address = number(signal(s, "ADDR", 32));
        if (!op) return;
        if (high(outputs_, "BUSY")) { outputs_["ERROR"] = {H}; return; }
        outputs_["READ_VALID"] = {L}; outputs_["READ_DATA"] = Bits(W, Z);
        if ((op == 1 && open_) || ((op == 2 || op == 3 || op == 4) && !open_) || (op == 5 && open_)) {
            outputs_["ERROR"] = {H}; return;
        }
        outputs_["ERROR"] = {L}; outputs_["BUSY"] = {H}; op_ = op; stage_ = 0;
        if (op == 1 || op == 5) row_ = op == 1 ? address : refresh_row_;
        if (op == 2 || op == 3) col_ = address;
        if (op == 3) { data_ = signal(s, "WRITE_DATA", W); mask_ = signal(s, "WRITE_MASK", W / 8); }
        due_ = after(t, config_.phase_ticks);
        auto remaining = config_.max_resident_bytes - std::min(config_.max_resident_bytes, storage.allocatedDataBytes());
        if (closed_.size() > remaining / 128) throw std::length_error("DRAM row metadata budget exceeded");
    }
    void flash(std::size_t t, const Signals& s) {
        if (due_ && t >= due_) {
            due_ = 0; ++stage_;
            if (op_ == 1) {
                outputs_["READ_DATA"] = storage.readLogic(address_ * (W / 8), W / 8);
                outputs_["READ_VALID"] = {H}; outputs_["BUSY"] = {L};
            } else if (stage_ == 1) {
                if (op_ == 2) write(t, address_, data_, mask_, true);
                else {
                    auto first = address_ / config_.block_words * config_.block_words;
                    for (auto word = first; word < first + config_.block_words; ++word)
                        storage.writeLogic(t, word * (W / 8), Bits(W, H), true);
                }
                due_ = after(t, config_.phase_ticks);
            } else if (stage_ == 2) due_ = after(t, config_.phase_ticks);
            else outputs_["BUSY"] = {L};
        }
        if (!edge(s)) return;
        auto op = number(signal(s, "CMD", 3));
        if (!op) return;
        outputs_["ERROR"] = {L}; outputs_["READ_VALID"] = {L}; outputs_["READ_DATA"] = Bits(W, Z);
        if (high(outputs_, "BUSY") || ((op == 2 || op == 3) && !enabled_)) {
            outputs_["ERROR"] = {H}; return;
        }
        if (op == 4 || op == 5) { enabled_ = op == 4; return; }
        op_ = op; stage_ = 0; address_ = number(signal(s, "WORD_ADDR", 32));
        data_ = signal(s, "WRITE_DATA", W); mask_ = signal(s, "WRITE_MASK", W / 8);
        if (op != 1) enabled_ = false;
        outputs_["BUSY"] = {H};
        due_ = after(t, op == 1 ? config_.phase_ticks : op == 2 ? config_.program_ticks : config_.erase_ticks);
    }
public:
    MemoryStorage storage; // Storage mechanics only; all device rules are above/below.
    explicit CompactDevice(EndpointConfig c)
        : config_(c), buffer_(W * c.words_per_row, X),
          storage(c.depth_words, W, technology == Technology::ROM ? L : technology == Technology::NORFlash ? H : X,
                  c.record_history, {c.paged, c.max_resident_bytes, c.max_history_bytes}) {
        outputs_["READ_DATA"] = Bits(W, Z);
        for (auto p : {"BUSY", "ERROR", "READ_VALID", "FAULT"}) outputs_[p] = {L};
        if constexpr (technology == Technology::ROM) {
            std::vector<std::uint8_t> image;
            for (std::size_t i = 0; i < c.image_hex.size(); i += 2)
                image.push_back(std::stoul(c.image_hex.substr(i, 2), nullptr, 16));
            storage.loadBytes(0, image);
        }
    }
    Bits read(const std::string& pin, std::size_t width) const { return signal(outputs_, pin, width); }
    std::size_t deadline() const { return due_; }
    void update(std::size_t t, const Signals& s) {
        if constexpr (technology == Technology::FF) {
            bool rising = edge(s); auto word = number(signal(s, "WORD_ADDR", 32));
            if (rising && high(s, "WE")) write(t, word, signal(s, "WRITE_DATA", W), signal(s, "WRITE_MASK", W / 8));
            outputs_["READ_DATA"] = high(s, "READ_EN") ? storage.readLogic(word * (W / 8), W / 8) : Bits(W, L);
        } else if constexpr (technology == Technology::SRAM) {
            if (high(s, "CE_N")) {
                selected_ = false; due_ = 0; outputs_["READ_DATA"] = Bits(W, Z); return;
            }
            if (!selected_) { selected_ = true; latched_ = s; due_ = after(t, 4 * config_.phase_ticks); }
            if (!due_ || t < due_) return;
            due_ = 0; auto word = number(signal(latched_, "WORD_ADDR", 32));
            if (!high(latched_, "WE_N"))
                write(t, word, signal(latched_, "WRITE_DATA", W), signal(latched_, "WRITE_MASK", W / 8));
            else outputs_["READ_DATA"] = storage.readLogic(word * (W / 8), W / 8);
        } else if constexpr (technology == Technology::ROM) {
            outputs_["READ_DATA"] = high(s, "CE_N") || high(s, "OE_N") ? Bits(W, Z) :
                storage.readLogic(number(signal(s, "WORD_ADDR", 32)) * (W / 8), W / 8);
        } else if constexpr (technology == Technology::DRAM) dram(t, s);
        else if constexpr (technology == Technology::NORFlash) flash(t, s);
    }
};

template<std::size_t W, class Model>
class CompactEndpoint {
    EndpointConfig config_;
    Sequence sequence_;
    CompactDevice<W, Model> device_;
    bool pending_ = false, full_ = false;
    Bits held_ = Bits(W,L);
    Status status_ = Status::Ok;
public:
    struct Inputs {
        bool rising_edge=false, reset=false, request_valid=false, response_ready=false;
        Request request{bits(3,0),bits(32,0),Bits(W,L),Bits(W/8,L)};
    };
    struct Outputs {
        bool request_ready=false,response_valid=false;
        Bits read_data=Bits(W,L);
        Status status=Status::Ok;
    };
    explicit CompactEndpoint(EndpointConfig c)
        : config_(c),sequence_(W,Model::technology,c),device_(c) { c.validate(W,Model::technology); }
    const MemoryStorage& storage() const { return device_.storage; }
    Outputs step(std::size_t t,const Inputs& i) {
        constexpr bool fast=Model::technology==Technology::FF;
        const bool room=!full_||i.response_ready;
        const bool complete=pending_&&sequence_.done;
        const bool ready=!i.reset&&room&&(fast||((!pending_||(complete&&i.response_ready))&&sequence_.available));
        const bool accept=ready&&i.request_valid, incoming=fast?accept:complete;
        auto status=fast?sequence_.validate(i.request):sequence_.status;
        Bits data=fast?Bits(W,L):sequence_.result;
        if (fast&&accept&&status==Status::Ok&&number(i.request.op)==0)
            data=device_.storage.readLogic(number(i.request.address),W/8);
        if (i.reset) { pending_=full_=false; held_.assign(W,L); status_=Status::Ok; }
        else if (i.rising_edge) {
            const bool capture=incoming&&room&&(full_||!i.response_ready);
            const bool hold=full_&&!i.response_ready;
            if (capture) { held_=data; status_=status; }
            full_=capture||hold;
            if (!fast) pending_=accept||(pending_&&!(complete&&room));
        }
        if (fast) {
            Signals pins{{"CLK",{L}},{"WORD_ADDR",bits(32,number(i.request.address)/(W/8))},
                {"WE",{accept&&status==Status::Ok&&number(i.request.op)==1?H:L}},
                {"READ_EN",{L}},{"WRITE_DATA",i.request.data},{"WRITE_MASK",i.request.mask}};
            device_.update(t,pins);
            if (i.rising_edge) { pins["CLK"]={H}; device_.update(t,pins); }
        } else {
            device_.update(t,sequence_.outputs);
            sequence_.step(t,i.rising_edge,i.reset,accept,i.request,
                [&](const std::string& pin,std::size_t width){return device_.read(pin,width);},complete&&room);
            device_.update(t,sequence_.outputs);
        }
        const bool room_now=!full_||i.response_ready, complete_now=pending_&&sequence_.done;
        const bool ready_now=!i.reset&&room_now&&(fast||((!pending_||(complete_now&&i.response_ready))&&sequence_.available));
        if (fast) {
            data.assign(W,L);
            if (ready_now&&i.request_valid&&status==Status::Ok&&number(i.request.op)==0)
                data=device_.storage.readLogic(number(i.request.address),W/8);
        } else { data=sequence_.result; status=sequence_.status; }
        return {ready_now,!i.reset&&(full_||(fast?(ready_now&&i.request_valid):complete_now)),
                full_?held_:data,full_?status_:status};
    }
    std::size_t next_event_time() const {
        auto a=sequence_.deadline(),b=device_.deadline();
        return !a?b:!b?a:std::min(a,b);
    }
};

auto make_sram_example() {
    EndpointConfig config;
    config.depth_words = 4096; // 4096 words × 4 bytes = 16 KiB.
    return CompactEndpoint<32, SRAMModel>(config);
}
} // namespace memory_example

The example is executed by the documentation test, which checks both children and their connected native pins. Unlike Controller above, the returned endpoint owns actual storage. Select its behavioral implementation to replace the controller/device assembly with BehavioralMemoryEndpoint; do not substitute a native SRAM device at the transaction pins.

Unknown inputs and timing

The endpoint adds no new transaction semantics. Structural and compact implementations agree at documented transaction checkpoints, not at every internal gate transition. Unknown data and error results follow 3.2. Model times are not calibrated hardware performance claims.

Implementation

Structural implementation

Controller on the left, native device on the right. The device retains its existing word/row/column layout and family-specific pins. Native device children may independently select their existing behavioral implementations through the explorer.

Behavioral implementation

The five technology endpoints can instead use the fused BehavioralMemoryEndpoint leaf. It owns one controller state machine and one compact device model. A MemoryContainer is only a native device: it needs its technology controller when attached to transaction pins.

The memory.<technology>.scalable-endpoint.<width> contracts default to the fused endpoint. Their structural selection exposes CONTROLLER and a compact native MEMORY; it never expands a full-size store into individual cells. Thus CPU memory endpoints can be expanded in the explorer without changing capacity or allocating thousands of storage cells. Pre-simulation image provisioning delegates to that same native store. Python exposes this separately as initialize_memory_bytes(component, byte_address, bytes); runtime writes must still use the protocol.

Visualization and inspection

The memory table is a read-only view of recorded storage and signal history. Python and WebAssembly use the same inspector. Inspection and timeline scrubbing do not send transactions or advance the device.

Display	Meaning
Address and highlighted row	The live offered request, or the accepted request while its response is pending/held
READ, WRITE, PROGRAM, ERASE	Operation belonging to that request; read is green and modifying operations are orange
READY, WAIT, PENDING, RESPONSE, HELD	Request/response phase; HELD means the consumer has not accepted the response
Accepted time, write data, byte mask	Original accepted payload, not later values on request pins
Device phase and maintenance	Recorded native sequencing activity, including automatic refresh; not an extra controller
Instruction text	RV32I disassembly for an instruction-memory endpoint and its nested native device

Internal activity timestamps are included in the visualizer timeline even when the endpoint's external bus has not changed. Only signals belonging to that technology's native interface are listed. This observation history adds no simulated registers, events, or memory latency.

The observer samples handshake and payload signals before the rising edge, as required by the synchronous interface. It handles a request and response completing on the same edge without inventing a pending cycle. For a delayed response, later changes to REQ_ADDR, REQ_OP, or write data do not change the displayed accepted request. Reset drops that transaction context, not the stored image. In a CPU instruction memory, the highlight identifies the fetch address, not the retired instruction or every occupied pipeline stage.

Follow access centers the table on the active word. Manual row scrolling suspends centering. The inspector's byte-address field, Previous page, and Next page browse the entire device; they read history directly without performing a hardware read. Address pages contain at most 256 words per request (64 by default). The sparse touched-word summary is limited to 256 entries, but this does not limit address browsing. Unknown/unwritten values remain visible according to the device's storage model.

Examples

FF endpoint

All 254 recorded rows of MemoryEndpointFFTest, in checkpoint order. Outputs are test expectations verified against the simulation. Time is the absolute settled checkpoint time in simulator units, not milliseconds or CPU cycles.

Default scenario profile: canonical-default-preview / structural (d57a5ed1eeab12fc). Changing fidelity or the circuit can change these times.

Checkpointzero-based number · timeline label	Timesimulator units	CLKInput · 1 bit	REQ_ADDRInput · 32 bit	REQ_OPInput · 3 bit	REQ_VALIDInput · 1 bit	REQ_WRITE_DATAInput · 8 bit	REQ_WRITE_MASKInput · 1 bit	RSP_READYInput · 1 bit	RSTInput · 1 bit	REQ_READYExpected output · 1 bit	RSP_READ_DATAExpected output · 8 bit	RSP_STATUSExpected output · 3 bit	RSP_VALIDExpected output · 1 bit
#0reset	26	0	0x00000000	0x0	0	0x00	0	0	1	0	not checked	not checked	0
#1release-reset	30	0	0x00000000	0x0	0	0x00	0	0	0	1	not checked	not checked	not checked
#2write-first-setup	47	0	0x00000000	0x1	1	0x81	1	0	0	1	not checked	not checked	not checked
#3write-first-accept	63	1	0x00000000	0x1	1	0x81	1	0	0	0	not checked	not checked	not checked
#4write-first-latched	88	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#5write-first-execute	93	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#6write-first-wait-low-0	98	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#7write-first-wait-high-0	103	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#8write-first-wait-low-1	108	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#9write-first-wait-high-1	113	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#10write-first-wait-low-2	118	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#11write-first-wait-high-2	123	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#12write-first-wait-low-3	128	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#13write-first-wait-high-3	133	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#14write-first-wait-low-4	138	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#15write-first-wait-high-4	143	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#16write-first-response	148	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#17write-first-hold	153	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#18write-first-ready	164	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#19write-first-consumed	172	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#20read-first-setup	206	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#21read-first-accept	222	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#22read-first-latched	247	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#23read-first-execute	252	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#24read-first-wait-low-0	257	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#25read-first-wait-high-0	262	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#26read-first-wait-low-1	267	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#27read-first-wait-high-1	272	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#28read-first-wait-low-2	277	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#29read-first-wait-high-2	282	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#30read-first-wait-low-3	287	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#31read-first-wait-high-3	292	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#32read-first-wait-low-4	297	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#33read-first-wait-high-4	302	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#34read-first-response	307	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#35read-first-hold	312	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#36read-first-ready	323	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#37read-first-consumed	331	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#38write-last-setup	365	0	0x00000003	0x1	1	0x3C	1	0	0	1	not checked	not checked	not checked
#39write-last-accept	381	1	0x00000003	0x1	1	0x3C	1	0	0	0	not checked	not checked	not checked
#40write-last-latched	406	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#41write-last-execute	411	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#42write-last-wait-low-0	416	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#43write-last-wait-high-0	421	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#44write-last-wait-low-1	426	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#45write-last-wait-high-1	431	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#46write-last-wait-low-2	436	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#47write-last-wait-high-2	441	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#48write-last-wait-low-3	446	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#49write-last-wait-high-3	451	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#50write-last-wait-low-4	456	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#51write-last-wait-high-4	461	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#52write-last-response	466	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#53write-last-hold	471	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#54write-last-ready	482	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#55write-last-consumed	490	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#56read-last-setup	524	0	0x00000003	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#57read-last-accept	540	1	0x00000003	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#58read-last-latched	565	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#59read-last-execute	570	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#60read-last-wait-low-0	575	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#61read-last-wait-high-0	580	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#62read-last-wait-low-1	585	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#63read-last-wait-high-1	590	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#64read-last-wait-low-2	595	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#65read-last-wait-high-2	600	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#66read-last-wait-low-3	605	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#67read-last-wait-high-3	610	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#68read-last-wait-low-4	615	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#69read-last-wait-high-4	620	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#70read-last-response	625	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#71read-last-hold	630	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#72read-last-ready	641	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x3C	0x0	1
#73read-last-consumed	649	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#74zero-mask-setup	683	0	0x00000000	0x1	1	0x00	0	0	0	1	not checked	not checked	not checked
#75zero-mask-accept	694	1	0x00000000	0x1	1	0x00	0	0	0	0	not checked	not checked	not checked
#76zero-mask-latched	719	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#77zero-mask-execute	724	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#78zero-mask-wait-low-0	729	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#79zero-mask-wait-high-0	734	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#80zero-mask-wait-low-1	739	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#81zero-mask-wait-high-1	744	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#82zero-mask-wait-low-2	749	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#83zero-mask-wait-high-2	754	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#84zero-mask-wait-low-3	759	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#85zero-mask-wait-high-3	764	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#86zero-mask-wait-low-4	769	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#87zero-mask-wait-high-4	774	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#88zero-mask-response	779	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x0	1
#89zero-mask-hold	784	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x0	1
#90zero-mask-ready	795	0	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	0x00	0x0	1
#91zero-mask-consumed	803	1	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	not checked	not checked	0
#92unchanged-setup	837	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#93unchanged-accept	853	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#94unchanged-latched	878	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#95unchanged-execute	883	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#96unchanged-wait-low-0	888	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#97unchanged-wait-high-0	893	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#98unchanged-wait-low-1	898	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#99unchanged-wait-high-1	903	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#100unchanged-wait-low-2	908	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#101unchanged-wait-high-2	913	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#102unchanged-wait-low-3	918	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#103unchanged-wait-high-3	923	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#104unchanged-wait-low-4	928	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#105unchanged-wait-high-4	933	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#106unchanged-response	938	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#107unchanged-hold	943	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#108unchanged-ready	954	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#109unchanged-consumed	962	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#110masked-low-byte-setup	996	0	0x00000000	0x1	1	0x5A	1	0	0	1	not checked	not checked	not checked
#111masked-low-byte-accept	1012	1	0x00000000	0x1	1	0x5A	1	0	0	0	not checked	not checked	not checked
#112masked-low-byte-latched	1037	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#113masked-low-byte-execute	1042	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#114masked-low-byte-wait-low-0	1047	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#115masked-low-byte-wait-high-0	1052	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#116masked-low-byte-wait-low-1	1057	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#117masked-low-byte-wait-high-1	1062	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#118masked-low-byte-wait-low-2	1067	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#119masked-low-byte-wait-high-2	1072	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#120masked-low-byte-wait-low-3	1077	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#121masked-low-byte-wait-high-3	1082	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#122masked-low-byte-wait-low-4	1087	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#123masked-low-byte-wait-high-4	1092	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#124masked-low-byte-response	1097	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#125masked-low-byte-hold	1102	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#126masked-low-byte-ready	1113	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#127masked-low-byte-consumed	1121	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#128read-masked-byte-setup	1155	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#129read-masked-byte-accept	1171	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#130read-masked-byte-latched	1196	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#131read-masked-byte-execute	1201	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#132read-masked-byte-wait-low-0	1206	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#133read-masked-byte-wait-high-0	1211	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#134read-masked-byte-wait-low-1	1216	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#135read-masked-byte-wait-high-1	1221	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#136read-masked-byte-wait-low-2	1226	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#137read-masked-byte-wait-high-2	1231	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#138read-masked-byte-wait-low-3	1236	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#139read-masked-byte-wait-high-3	1241	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#140read-masked-byte-wait-low-4	1246	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#141read-masked-byte-wait-high-4	1251	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#142read-masked-byte-response	1256	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x5A	0x0	1
#143read-masked-byte-hold	1261	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x5A	0x0	1
#144read-masked-byte-ready	1272	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x5A	0x0	1
#145read-masked-byte-consumed	1280	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#146unsupported-program-setup	1314	0	0x00000000	0x2	1	0x00	1	0	0	1	not checked	not checked	not checked
#147unsupported-program-accept	1328	1	0x00000000	0x2	1	0x00	1	0	0	0	not checked	not checked	not checked
#148unsupported-program-latched	1354	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#149unsupported-program-execute	1359	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#150unsupported-program-wait-low-0	1364	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#151unsupported-program-wait-high-0	1369	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#152unsupported-program-wait-low-1	1374	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#153unsupported-program-wait-high-1	1379	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#154unsupported-program-wait-low-2	1384	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#155unsupported-program-wait-high-2	1389	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#156unsupported-program-wait-low-3	1394	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#157unsupported-program-wait-high-3	1399	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#158unsupported-program-wait-low-4	1404	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#159unsupported-program-wait-high-4	1409	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#160unsupported-program-response	1414	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x4	1
#161unsupported-program-hold	1419	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x4	1
#162unsupported-program-ready	1430	0	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	0x00	0x4	1
#163unsupported-program-consumed	1438	1	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	not checked	not checked	0
#164range-error-setup	1452	0	0x00000004	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#165range-error-accept	1466	1	0x00000004	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#166range-error-latched	1474	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#167range-error-execute	1479	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#168range-error-wait-low-0	1484	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#169range-error-wait-high-0	1489	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#170range-error-wait-low-1	1494	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#171range-error-wait-high-1	1499	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#172range-error-wait-low-2	1504	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#173range-error-wait-high-2	1509	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#174range-error-wait-low-3	1514	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#175range-error-wait-high-3	1519	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#176range-error-wait-low-4	1524	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#177range-error-wait-high-4	1529	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#178range-error-response	1534	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#179range-error-hold	1539	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#180range-error-ready	1550	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x00	0x2	1
#181range-error-consumed	1558	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#182reserved-opcode-setup	1579	0	0x00000000	0x7	1	0x00	0	0	0	1	not checked	not checked	not checked
#183reserved-opcode-accept	1593	1	0x00000000	0x7	1	0x00	0	0	0	0	not checked	not checked	not checked
#184reserved-opcode-latched	1610	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#185reserved-opcode-execute	1615	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#186reserved-opcode-wait-low-0	1620	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#187reserved-opcode-wait-high-0	1625	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#188reserved-opcode-wait-low-1	1630	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#189reserved-opcode-wait-high-1	1635	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#190reserved-opcode-wait-low-2	1640	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#191reserved-opcode-wait-high-2	1645	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#192reserved-opcode-wait-low-3	1650	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#193reserved-opcode-wait-high-3	1655	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#194reserved-opcode-wait-low-4	1660	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#195reserved-opcode-wait-high-4	1665	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#196reserved-opcode-response	1670	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#197reserved-opcode-hold	1675	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#198reserved-opcode-ready	1686	0	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	0x00	0x4	1
#199reserved-opcode-consumed	1694	1	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	not checked	not checked	0
#200unknown-mask-setup	1717	0	0x00000000	0x1	1	0x00	X	0	0	1	not checked	not checked	not checked
#201unknown-mask-accept	1731	1	0x00000000	0x1	1	0x00	X	0	0	0	not checked	not checked	not checked
#202unknown-mask-latched	1756	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#203unknown-mask-execute	1761	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#204unknown-mask-wait-low-0	1766	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#205unknown-mask-wait-high-0	1771	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#206unknown-mask-wait-low-1	1776	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#207unknown-mask-wait-high-1	1781	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#208unknown-mask-wait-low-2	1786	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#209unknown-mask-wait-high-2	1791	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#210unknown-mask-wait-low-3	1796	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#211unknown-mask-wait-high-3	1801	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#212unknown-mask-wait-low-4	1806	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#213unknown-mask-wait-high-4	1811	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#214unknown-mask-response	1816	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x6	1
#215unknown-mask-hold	1821	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x6	1
#216unknown-mask-ready	1832	0	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	0x00	0x6	1
#217unknown-mask-consumed	1840	1	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	not checked	not checked	0
#218unknown-data-setup	1874	0	0x00000001	0x1	1	0bXXXXXXXX	1	0	0	1	not checked	not checked	not checked
#219unknown-data-accept	1890	1	0x00000001	0x1	1	0bXXXXXXXX	1	0	0	0	not checked	not checked	not checked
#220unknown-data-latched	1915	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#221unknown-data-execute	1920	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#222unknown-data-wait-low-0	1925	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#223unknown-data-wait-high-0	1930	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#224unknown-data-wait-low-1	1935	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#225unknown-data-wait-high-1	1940	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#226unknown-data-wait-low-2	1945	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#227unknown-data-wait-high-2	1950	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#228unknown-data-wait-low-3	1955	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#229unknown-data-wait-high-3	1960	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#230unknown-data-wait-low-4	1965	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#231unknown-data-wait-high-4	1970	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#232unknown-data-response	1975	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#233unknown-data-hold	1980	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#234unknown-data-ready	1991	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#235unknown-data-consumed	1999	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#236read-unknown-setup	2033	0	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	1	not checked	not checked	not checked
#237read-unknown-accept	2049	1	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	0	not checked	not checked	not checked
#238read-unknown-latched	2074	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#239read-unknown-execute	2079	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#240read-unknown-wait-low-0	2084	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#241read-unknown-wait-high-0	2089	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#242read-unknown-wait-low-1	2094	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#243read-unknown-wait-high-1	2099	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#244read-unknown-wait-low-2	2104	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#245read-unknown-wait-high-2	2109	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#246read-unknown-wait-low-3	2114	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#247read-unknown-wait-high-3	2119	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#248read-unknown-wait-low-4	2124	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#249read-unknown-wait-high-4	2129	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#250read-unknown-response	2134	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#251read-unknown-hold	2139	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#252read-unknown-ready	2150	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0bXXXXXXXX	0x0	1
#253read-unknown-consumed	2158	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0

Scroll within the table for all rows and pins. Buses use hexadecimal; values containing X/Z use MSB-first binary. Inputs show the declared values in effect at each checkpoint, including retained inputs. Sequential tests also replay preparation changes between checkpoints, such as lowering the clock. Use the matching checkpoint label in the simulation below.

Writes/reads the first and last words, checks zero and partial byte masks, rejects unsupported programming, out-of-range accesses and unknown masks, then writes/reads unknown data. Reads ignore unknown write fields. All response-hold checkpoints are included.

Open FF endpoint

SRAM endpoint

All 254 recorded rows of MemoryEndpointSRAMTest, in checkpoint order. Outputs are test expectations verified against the simulation. Time is the absolute settled checkpoint time in simulator units, not milliseconds or CPU cycles.

Default scenario profile: canonical-default-preview / structural (d57a5ed1eeab12fc). Changing fidelity or the circuit can change these times.

Checkpointzero-based number · timeline label	Timesimulator units	CLKInput · 1 bit	REQ_ADDRInput · 32 bit	REQ_OPInput · 3 bit	REQ_VALIDInput · 1 bit	REQ_WRITE_DATAInput · 8 bit	REQ_WRITE_MASKInput · 1 bit	RSP_READYInput · 1 bit	RSTInput · 1 bit	REQ_READYExpected output · 1 bit	RSP_READ_DATAExpected output · 8 bit	RSP_STATUSExpected output · 3 bit	RSP_VALIDExpected output · 1 bit
#0reset	9	0	0x00000000	0x0	0	0x00	0	0	1	0	not checked	not checked	0
#1release-reset	15	0	0x00000000	0x0	0	0x00	0	0	0	1	not checked	not checked	not checked
#2write-first-setup	23	0	0x00000000	0x1	1	0x81	1	0	0	1	not checked	not checked	not checked
#3write-first-accept	344	1	0x00000000	0x1	1	0x81	1	0	0	0	not checked	not checked	not checked
#4write-first-latched	349	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#5write-first-execute	358	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#6write-first-wait-low-0	366	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#7write-first-wait-high-0	375	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#8write-first-wait-low-1	380	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#9write-first-wait-high-1	385	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#10write-first-wait-low-2	390	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#11write-first-wait-high-2	395	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#12write-first-wait-low-3	400	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#13write-first-wait-high-3	405	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#14write-first-wait-low-4	410	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#15write-first-wait-high-4	415	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#16write-first-response	420	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#17write-first-hold	425	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#18write-first-ready	436	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#19write-first-consumed	443	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#20read-first-setup	451	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#21read-first-accept	772	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#22read-first-latched	777	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#23read-first-execute	786	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#24read-first-wait-low-0	794	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#25read-first-wait-high-0	804	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#26read-first-wait-low-1	809	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#27read-first-wait-high-1	814	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#28read-first-wait-low-2	819	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#29read-first-wait-high-2	824	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#30read-first-wait-low-3	829	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#31read-first-wait-high-3	834	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#32read-first-wait-low-4	839	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#33read-first-wait-high-4	844	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#34read-first-response	849	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#35read-first-hold	854	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#36read-first-ready	865	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#37read-first-consumed	873	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#38write-last-setup	881	0	0x00000003	0x1	1	0x3C	1	0	0	1	not checked	not checked	not checked
#39write-last-accept	1202	1	0x00000003	0x1	1	0x3C	1	0	0	0	not checked	not checked	not checked
#40write-last-latched	1207	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#41write-last-execute	1217	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#42write-last-wait-low-0	1225	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#43write-last-wait-high-0	1234	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#44write-last-wait-low-1	1239	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#45write-last-wait-high-1	1244	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#46write-last-wait-low-2	1249	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#47write-last-wait-high-2	1254	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#48write-last-wait-low-3	1259	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#49write-last-wait-high-3	1264	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#50write-last-wait-low-4	1269	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#51write-last-wait-high-4	1274	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#52write-last-response	1279	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#53write-last-hold	1284	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#54write-last-ready	1295	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#55write-last-consumed	1302	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#56read-last-setup	1310	0	0x00000003	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#57read-last-accept	1631	1	0x00000003	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#58read-last-latched	1636	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#59read-last-execute	1645	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#60read-last-wait-low-0	1653	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#61read-last-wait-high-0	1663	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#62read-last-wait-low-1	1668	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#63read-last-wait-high-1	1673	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#64read-last-wait-low-2	1678	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#65read-last-wait-high-2	1683	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#66read-last-wait-low-3	1688	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#67read-last-wait-high-3	1693	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#68read-last-wait-low-4	1698	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#69read-last-wait-high-4	1703	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#70read-last-response	1708	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#71read-last-hold	1713	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#72read-last-ready	1724	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x3C	0x0	1
#73read-last-consumed	1732	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#74zero-mask-setup	1740	0	0x00000000	0x1	1	0x00	0	0	0	1	not checked	not checked	not checked
#75zero-mask-accept	2061	1	0x00000000	0x1	1	0x00	0	0	0	0	not checked	not checked	not checked
#76zero-mask-latched	2066	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#77zero-mask-execute	2076	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#78zero-mask-wait-low-0	2084	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#79zero-mask-wait-high-0	2093	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#80zero-mask-wait-low-1	2098	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#81zero-mask-wait-high-1	2103	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#82zero-mask-wait-low-2	2108	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#83zero-mask-wait-high-2	2113	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#84zero-mask-wait-low-3	2118	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#85zero-mask-wait-high-3	2123	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#86zero-mask-wait-low-4	2128	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#87zero-mask-wait-high-4	2133	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#88zero-mask-response	2138	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x0	1
#89zero-mask-hold	2143	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x0	1
#90zero-mask-ready	2154	0	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	0x00	0x0	1
#91zero-mask-consumed	2161	1	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	not checked	not checked	0
#92unchanged-setup	2169	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#93unchanged-accept	2490	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#94unchanged-latched	2495	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#95unchanged-execute	2504	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#96unchanged-wait-low-0	2512	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#97unchanged-wait-high-0	2522	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#98unchanged-wait-low-1	2527	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#99unchanged-wait-high-1	2532	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#100unchanged-wait-low-2	2537	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#101unchanged-wait-high-2	2542	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#102unchanged-wait-low-3	2547	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#103unchanged-wait-high-3	2552	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#104unchanged-wait-low-4	2557	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#105unchanged-wait-high-4	2562	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#106unchanged-response	2567	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#107unchanged-hold	2572	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#108unchanged-ready	2583	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#109unchanged-consumed	2591	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#110masked-low-byte-setup	2599	0	0x00000000	0x1	1	0x5A	1	0	0	1	not checked	not checked	not checked
#111masked-low-byte-accept	2920	1	0x00000000	0x1	1	0x5A	1	0	0	0	not checked	not checked	not checked
#112masked-low-byte-latched	2925	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#113masked-low-byte-execute	2935	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#114masked-low-byte-wait-low-0	2943	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#115masked-low-byte-wait-high-0	2952	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#116masked-low-byte-wait-low-1	2957	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#117masked-low-byte-wait-high-1	2962	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#118masked-low-byte-wait-low-2	2967	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#119masked-low-byte-wait-high-2	2972	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#120masked-low-byte-wait-low-3	2977	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#121masked-low-byte-wait-high-3	2982	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#122masked-low-byte-wait-low-4	2987	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#123masked-low-byte-wait-high-4	2992	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#124masked-low-byte-response	2997	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#125masked-low-byte-hold	3002	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#126masked-low-byte-ready	3013	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#127masked-low-byte-consumed	3020	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#128read-masked-byte-setup	3028	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#129read-masked-byte-accept	3349	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#130read-masked-byte-latched	3354	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#131read-masked-byte-execute	3363	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#132read-masked-byte-wait-low-0	3371	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#133read-masked-byte-wait-high-0	3381	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#134read-masked-byte-wait-low-1	3386	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#135read-masked-byte-wait-high-1	3391	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#136read-masked-byte-wait-low-2	3396	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#137read-masked-byte-wait-high-2	3401	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#138read-masked-byte-wait-low-3	3406	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#139read-masked-byte-wait-high-3	3411	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#140read-masked-byte-wait-low-4	3416	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#141read-masked-byte-wait-high-4	3421	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#142read-masked-byte-response	3426	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x5A	0x0	1
#143read-masked-byte-hold	3431	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x5A	0x0	1
#144read-masked-byte-ready	3442	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x5A	0x0	1
#145read-masked-byte-consumed	3450	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#146unsupported-program-setup	3458	0	0x00000000	0x2	1	0x00	1	0	0	1	not checked	not checked	not checked
#147unsupported-program-accept	3523	1	0x00000000	0x2	1	0x00	1	0	0	0	not checked	not checked	not checked
#148unsupported-program-latched	3528	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#149unsupported-program-execute	3538	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#150unsupported-program-wait-low-0	3546	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#151unsupported-program-wait-high-0	3556	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#152unsupported-program-wait-low-1	3561	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#153unsupported-program-wait-high-1	3566	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#154unsupported-program-wait-low-2	3571	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#155unsupported-program-wait-high-2	3576	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#156unsupported-program-wait-low-3	3581	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#157unsupported-program-wait-high-3	3586	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#158unsupported-program-wait-low-4	3591	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#159unsupported-program-wait-high-4	3596	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#160unsupported-program-response	3601	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x4	1
#161unsupported-program-hold	3606	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x4	1
#162unsupported-program-ready	3617	0	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	0x00	0x4	1
#163unsupported-program-consumed	3625	1	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	not checked	not checked	0
#164range-error-setup	3633	0	0x00000004	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#165range-error-accept	3698	1	0x00000004	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#166range-error-latched	3703	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#167range-error-execute	3713	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#168range-error-wait-low-0	3721	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#169range-error-wait-high-0	3731	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#170range-error-wait-low-1	3736	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#171range-error-wait-high-1	3741	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#172range-error-wait-low-2	3746	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#173range-error-wait-high-2	3751	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#174range-error-wait-low-3	3756	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#175range-error-wait-high-3	3761	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#176range-error-wait-low-4	3766	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#177range-error-wait-high-4	3771	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#178range-error-response	3776	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#179range-error-hold	3781	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#180range-error-ready	3792	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x00	0x2	1
#181range-error-consumed	3800	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#182reserved-opcode-setup	3808	0	0x00000000	0x7	1	0x00	0	0	0	1	not checked	not checked	not checked
#183reserved-opcode-accept	3873	1	0x00000000	0x7	1	0x00	0	0	0	0	not checked	not checked	not checked
#184reserved-opcode-latched	3878	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#185reserved-opcode-execute	3888	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#186reserved-opcode-wait-low-0	3896	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#187reserved-opcode-wait-high-0	3906	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#188reserved-opcode-wait-low-1	3911	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#189reserved-opcode-wait-high-1	3916	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#190reserved-opcode-wait-low-2	3921	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#191reserved-opcode-wait-high-2	3926	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#192reserved-opcode-wait-low-3	3931	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#193reserved-opcode-wait-high-3	3936	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#194reserved-opcode-wait-low-4	3941	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#195reserved-opcode-wait-high-4	3946	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#196reserved-opcode-response	3951	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#197reserved-opcode-hold	3956	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#198reserved-opcode-ready	3967	0	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	0x00	0x4	1
#199reserved-opcode-consumed	3975	1	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	not checked	not checked	0
#200unknown-mask-setup	3983	0	0x00000000	0x1	1	0x00	X	0	0	1	not checked	not checked	not checked
#201unknown-mask-accept	4048	1	0x00000000	0x1	1	0x00	X	0	0	0	not checked	not checked	not checked
#202unknown-mask-latched	4053	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#203unknown-mask-execute	4062	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#204unknown-mask-wait-low-0	4070	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#205unknown-mask-wait-high-0	4080	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#206unknown-mask-wait-low-1	4085	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#207unknown-mask-wait-high-1	4090	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#208unknown-mask-wait-low-2	4095	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#209unknown-mask-wait-high-2	4100	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#210unknown-mask-wait-low-3	4105	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#211unknown-mask-wait-high-3	4110	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#212unknown-mask-wait-low-4	4115	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#213unknown-mask-wait-high-4	4120	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#214unknown-mask-response	4125	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x6	1
#215unknown-mask-hold	4130	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x6	1
#216unknown-mask-ready	4141	0	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	0x00	0x6	1
#217unknown-mask-consumed	4149	1	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	not checked	not checked	0
#218unknown-data-setup	4157	0	0x00000001	0x1	1	0bXXXXXXXX	1	0	0	1	not checked	not checked	not checked
#219unknown-data-accept	4478	1	0x00000001	0x1	1	0bXXXXXXXX	1	0	0	0	not checked	not checked	not checked
#220unknown-data-latched	4483	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#221unknown-data-execute	4493	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#222unknown-data-wait-low-0	4501	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#223unknown-data-wait-high-0	4510	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#224unknown-data-wait-low-1	4515	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#225unknown-data-wait-high-1	4520	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#226unknown-data-wait-low-2	4525	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#227unknown-data-wait-high-2	4530	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#228unknown-data-wait-low-3	4535	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#229unknown-data-wait-high-3	4540	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#230unknown-data-wait-low-4	4545	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#231unknown-data-wait-high-4	4550	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#232unknown-data-response	4555	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#233unknown-data-hold	4560	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#234unknown-data-ready	4571	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#235unknown-data-consumed	4578	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#236read-unknown-setup	4586	0	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	1	not checked	not checked	not checked
#237read-unknown-accept	4907	1	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	0	not checked	not checked	not checked
#238read-unknown-latched	4912	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#239read-unknown-execute	4921	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#240read-unknown-wait-low-0	4929	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#241read-unknown-wait-high-0	4939	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#242read-unknown-wait-low-1	4944	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#243read-unknown-wait-high-1	4949	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#244read-unknown-wait-low-2	4954	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#245read-unknown-wait-high-2	4959	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#246read-unknown-wait-low-3	4964	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#247read-unknown-wait-high-3	4969	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#248read-unknown-wait-low-4	4974	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#249read-unknown-wait-high-4	4979	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#250read-unknown-response	4984	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#251read-unknown-hold	4989	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#252read-unknown-ready	5000	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0bXXXXXXXX	0x0	1
#253read-unknown-consumed	5008	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0

Scroll within the table for all rows and pins. Buses use hexadecimal; values containing X/Z use MSB-first binary. Inputs show the declared values in effect at each checkpoint, including retained inputs. Sequential tests also replay preparation changes between checkpoints, such as lowering the clock. Use the matching checkpoint label in the simulation below.

The same load/store sequence through native asynchronous chip/write/output controls. The bus clock belongs to the controller, not the SRAM cells.

Open SRAM endpoint

DRAM endpoint

All 254 recorded rows of MemoryEndpointDRAMTest, in checkpoint order. Outputs are test expectations verified against the simulation. Time is the absolute settled checkpoint time in simulator units, not milliseconds or CPU cycles.

Default scenario profile: canonical-default-preview / structural (d57a5ed1eeab12fc). Changing fidelity or the circuit can change these times.

Checkpointzero-based number · timeline label	Timesimulator units	CLKInput · 1 bit	REQ_ADDRInput · 32 bit	REQ_OPInput · 3 bit	REQ_VALIDInput · 1 bit	REQ_WRITE_DATAInput · 8 bit	REQ_WRITE_MASKInput · 1 bit	RSP_READYInput · 1 bit	RSTInput · 1 bit	REQ_READYExpected output · 1 bit	RSP_READ_DATAExpected output · 8 bit	RSP_STATUSExpected output · 3 bit	RSP_VALIDExpected output · 1 bit
#0reset	11	0	0x00000000	0x0	0	0x00	0	0	1	0	not checked	not checked	0
#1release-reset	17	0	0x00000000	0x0	0	0x00	0	0	0	1	not checked	not checked	not checked
#2write-first-setup	25	0	0x00000000	0x1	1	0x81	1	0	0	1	not checked	not checked	not checked
#3write-first-accept	1018	1	0x00000000	0x1	1	0x81	1	0	0	0	not checked	not checked	not checked
#4write-first-latched	1023	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#5write-first-execute	1032	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#6write-first-wait-low-0	1040	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#7write-first-wait-high-0	1049	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#8write-first-wait-low-1	1054	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#9write-first-wait-high-1	1059	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#10write-first-wait-low-2	1064	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#11write-first-wait-high-2	1069	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#12write-first-wait-low-3	1074	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#13write-first-wait-high-3	1079	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#14write-first-wait-low-4	1084	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#15write-first-wait-high-4	1089	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#16write-first-response	1094	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#17write-first-hold	1099	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#18write-first-ready	1110	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#19write-first-consumed	1117	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#20read-first-setup	1125	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#21read-first-accept	1414	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#22read-first-latched	1419	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#23read-first-execute	1428	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#24read-first-wait-low-0	1436	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#25read-first-wait-high-0	1446	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#26read-first-wait-low-1	1451	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#27read-first-wait-high-1	1456	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#28read-first-wait-low-2	1461	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#29read-first-wait-high-2	1466	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#30read-first-wait-low-3	1471	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#31read-first-wait-high-3	1476	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#32read-first-wait-low-4	1481	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#33read-first-wait-high-4	1486	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#34read-first-response	1491	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#35read-first-hold	1496	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#36read-first-ready	1507	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#37read-first-consumed	1515	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#38write-last-setup	1523	0	0x00000003	0x1	1	0x3C	1	0	0	1	not checked	not checked	not checked
#39write-last-accept	2452	1	0x00000003	0x1	1	0x3C	1	0	0	0	not checked	not checked	not checked
#40write-last-latched	2457	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#41write-last-execute	2467	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#42write-last-wait-low-0	2475	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#43write-last-wait-high-0	2484	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#44write-last-wait-low-1	2489	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#45write-last-wait-high-1	2494	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#46write-last-wait-low-2	2499	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#47write-last-wait-high-2	2504	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#48write-last-wait-low-3	2509	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#49write-last-wait-high-3	2514	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#50write-last-wait-low-4	2519	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#51write-last-wait-high-4	2524	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#52write-last-response	2529	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#53write-last-hold	2534	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#54write-last-ready	2545	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#55write-last-consumed	2552	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#56read-last-setup	2560	0	0x00000003	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#57read-last-accept	2849	1	0x00000003	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#58read-last-latched	2854	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#59read-last-execute	2863	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#60read-last-wait-low-0	2871	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#61read-last-wait-high-0	2881	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#62read-last-wait-low-1	2886	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#63read-last-wait-high-1	2891	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#64read-last-wait-low-2	2896	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#65read-last-wait-high-2	2901	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#66read-last-wait-low-3	2906	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#67read-last-wait-high-3	2911	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#68read-last-wait-low-4	2916	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#69read-last-wait-high-4	2921	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#70read-last-response	2926	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#71read-last-hold	2931	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#72read-last-ready	2942	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x3C	0x0	1
#73read-last-consumed	2950	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#74zero-mask-setup	2958	0	0x00000000	0x1	1	0x00	0	0	0	1	not checked	not checked	not checked
#75zero-mask-accept	3887	1	0x00000000	0x1	1	0x00	0	0	0	0	not checked	not checked	not checked
#76zero-mask-latched	3892	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#77zero-mask-execute	3902	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#78zero-mask-wait-low-0	3910	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#79zero-mask-wait-high-0	3919	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#80zero-mask-wait-low-1	3924	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#81zero-mask-wait-high-1	3929	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#82zero-mask-wait-low-2	3934	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#83zero-mask-wait-high-2	3939	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#84zero-mask-wait-low-3	3944	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#85zero-mask-wait-high-3	3949	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#86zero-mask-wait-low-4	3954	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#87zero-mask-wait-high-4	3959	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#88zero-mask-response	3964	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x0	1
#89zero-mask-hold	3969	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x0	1
#90zero-mask-ready	3980	0	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	0x00	0x0	1
#91zero-mask-consumed	3987	1	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	not checked	not checked	0
#92unchanged-setup	3995	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#93unchanged-accept	4284	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#94unchanged-latched	4289	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#95unchanged-execute	4298	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#96unchanged-wait-low-0	4306	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#97unchanged-wait-high-0	4316	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#98unchanged-wait-low-1	4321	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#99unchanged-wait-high-1	4326	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#100unchanged-wait-low-2	4331	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#101unchanged-wait-high-2	4336	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#102unchanged-wait-low-3	4341	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#103unchanged-wait-high-3	4346	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#104unchanged-wait-low-4	4351	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#105unchanged-wait-high-4	4356	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#106unchanged-response	4361	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#107unchanged-hold	4366	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#108unchanged-ready	4377	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#109unchanged-consumed	4385	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#110masked-low-byte-setup	4393	0	0x00000000	0x1	1	0x5A	1	0	0	1	not checked	not checked	not checked
#111masked-low-byte-accept	4746	1	0x00000000	0x1	1	0x5A	1	0	0	0	not checked	not checked	not checked
#112masked-low-byte-latched	4751	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#113masked-low-byte-execute	4761	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#114masked-low-byte-wait-low-0	4769	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#115masked-low-byte-wait-high-0	4778	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#116masked-low-byte-wait-low-1	4783	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#117masked-low-byte-wait-high-1	4788	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#118masked-low-byte-wait-low-2	4793	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#119masked-low-byte-wait-high-2	4798	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#120masked-low-byte-wait-low-3	4803	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#121masked-low-byte-wait-high-3	4808	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#122masked-low-byte-wait-low-4	4813	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#123masked-low-byte-wait-high-4	4818	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#124masked-low-byte-response	4823	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#125masked-low-byte-hold	4828	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#126masked-low-byte-ready	4839	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#127masked-low-byte-consumed	4846	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#128read-masked-byte-setup	4854	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#129read-masked-byte-accept	5143	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#130read-masked-byte-latched	5148	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#131read-masked-byte-execute	5157	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#132read-masked-byte-wait-low-0	5165	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#133read-masked-byte-wait-high-0	5175	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#134read-masked-byte-wait-low-1	5180	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#135read-masked-byte-wait-high-1	5185	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#136read-masked-byte-wait-low-2	5190	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#137read-masked-byte-wait-high-2	5195	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#138read-masked-byte-wait-low-3	5200	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#139read-masked-byte-wait-high-3	5205	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#140read-masked-byte-wait-low-4	5210	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#141read-masked-byte-wait-high-4	5215	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#142read-masked-byte-response	5220	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x5A	0x0	1
#143read-masked-byte-hold	5225	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x5A	0x0	1
#144read-masked-byte-ready	5236	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x5A	0x0	1
#145read-masked-byte-consumed	5244	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#146unsupported-program-setup	5252	0	0x00000000	0x2	1	0x00	1	0	0	1	not checked	not checked	not checked
#147unsupported-program-accept	5317	1	0x00000000	0x2	1	0x00	1	0	0	0	not checked	not checked	not checked
#148unsupported-program-latched	5322	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#149unsupported-program-execute	5332	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#150unsupported-program-wait-low-0	5340	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#151unsupported-program-wait-high-0	5350	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#152unsupported-program-wait-low-1	5355	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#153unsupported-program-wait-high-1	5360	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#154unsupported-program-wait-low-2	5365	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#155unsupported-program-wait-high-2	5370	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#156unsupported-program-wait-low-3	5375	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#157unsupported-program-wait-high-3	5380	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#158unsupported-program-wait-low-4	5385	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#159unsupported-program-wait-high-4	5390	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#160unsupported-program-response	5395	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x4	1
#161unsupported-program-hold	5400	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x4	1
#162unsupported-program-ready	5411	0	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	0x00	0x4	1
#163unsupported-program-consumed	5419	1	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	not checked	not checked	0
#164range-error-setup	5427	0	0x00000004	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#165range-error-accept	5492	1	0x00000004	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#166range-error-latched	5497	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#167range-error-execute	5507	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#168range-error-wait-low-0	5515	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#169range-error-wait-high-0	5525	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#170range-error-wait-low-1	5530	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#171range-error-wait-high-1	5535	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#172range-error-wait-low-2	5540	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#173range-error-wait-high-2	5545	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#174range-error-wait-low-3	5550	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#175range-error-wait-high-3	5555	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#176range-error-wait-low-4	5560	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#177range-error-wait-high-4	5565	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#178range-error-response	5570	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#179range-error-hold	5575	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#180range-error-ready	5586	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x00	0x2	1
#181range-error-consumed	5594	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#182reserved-opcode-setup	5602	0	0x00000000	0x7	1	0x00	0	0	0	1	not checked	not checked	not checked
#183reserved-opcode-accept	5667	1	0x00000000	0x7	1	0x00	0	0	0	0	not checked	not checked	not checked
#184reserved-opcode-latched	5672	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#185reserved-opcode-execute	5682	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#186reserved-opcode-wait-low-0	5690	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#187reserved-opcode-wait-high-0	5700	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#188reserved-opcode-wait-low-1	5705	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#189reserved-opcode-wait-high-1	5710	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#190reserved-opcode-wait-low-2	5715	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#191reserved-opcode-wait-high-2	5720	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#192reserved-opcode-wait-low-3	5725	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#193reserved-opcode-wait-high-3	5730	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#194reserved-opcode-wait-low-4	5735	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#195reserved-opcode-wait-high-4	5740	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#196reserved-opcode-response	5745	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#197reserved-opcode-hold	5750	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#198reserved-opcode-ready	5761	0	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	0x00	0x4	1
#199reserved-opcode-consumed	5769	1	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	not checked	not checked	0
#200unknown-mask-setup	5777	0	0x00000000	0x1	1	0x00	X	0	0	1	not checked	not checked	not checked
#201unknown-mask-accept	5842	1	0x00000000	0x1	1	0x00	X	0	0	0	not checked	not checked	not checked
#202unknown-mask-latched	5847	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#203unknown-mask-execute	5856	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#204unknown-mask-wait-low-0	5864	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#205unknown-mask-wait-high-0	5874	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#206unknown-mask-wait-low-1	5879	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#207unknown-mask-wait-high-1	5884	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#208unknown-mask-wait-low-2	5889	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#209unknown-mask-wait-high-2	5894	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#210unknown-mask-wait-low-3	5899	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#211unknown-mask-wait-high-3	5904	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#212unknown-mask-wait-low-4	5909	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#213unknown-mask-wait-high-4	5914	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#214unknown-mask-response	5919	0	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x6	1
#215unknown-mask-hold	5924	1	0xFFFFFFFF	0x1	0	0x00	0	0	0	0	0x00	0x6	1
#216unknown-mask-ready	5935	0	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	0x00	0x6	1
#217unknown-mask-consumed	5943	1	0xFFFFFFFF	0x1	0	0x00	0	1	0	1	not checked	not checked	0
#218unknown-data-setup	5951	0	0x00000001	0x1	1	0bXXXXXXXX	1	0	0	1	not checked	not checked	not checked
#219unknown-data-accept	6880	1	0x00000001	0x1	1	0bXXXXXXXX	1	0	0	0	not checked	not checked	not checked
#220unknown-data-latched	6885	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#221unknown-data-execute	6895	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#222unknown-data-wait-low-0	6903	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#223unknown-data-wait-high-0	6912	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#224unknown-data-wait-low-1	6917	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#225unknown-data-wait-high-1	6922	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#226unknown-data-wait-low-2	6927	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#227unknown-data-wait-high-2	6932	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#228unknown-data-wait-low-3	6937	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#229unknown-data-wait-high-3	6942	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#230unknown-data-wait-low-4	6947	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#231unknown-data-wait-high-4	6952	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#232unknown-data-response	6957	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#233unknown-data-hold	6962	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x0	1
#234unknown-data-ready	6973	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x0	1
#235unknown-data-consumed	6980	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#236read-unknown-setup	6988	0	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	1	not checked	not checked	not checked
#237read-unknown-accept	7277	1	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	0	not checked	not checked	not checked
#238read-unknown-latched	7282	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#239read-unknown-execute	7291	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#240read-unknown-wait-low-0	7299	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#241read-unknown-wait-high-0	7309	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#242read-unknown-wait-low-1	7314	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#243read-unknown-wait-high-1	7319	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#244read-unknown-wait-low-2	7324	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#245read-unknown-wait-high-2	7329	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#246read-unknown-wait-low-3	7334	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#247read-unknown-wait-high-3	7339	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#248read-unknown-wait-low-4	7344	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#249read-unknown-wait-high-4	7349	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#250read-unknown-response	7354	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#251read-unknown-hold	7359	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#252read-unknown-ready	7370	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0bXXXXXXXX	0x0	1
#253read-unknown-consumed	7378	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0

Scroll within the table for all rows and pins. Buses use hexadecimal; values containing X/Z use MSB-first binary. Inputs show the declared values in effect at each checkpoint, including retained inputs. Sequential tests also replay preparation changes between checkpoints, such as lowering the clock. Use the matching checkpoint label in the simulation below.

First/last-word accesses cross rows. The controller inserts activation and precharge commands and services refresh while clocks continue. The timed test additionally holds a response longer than retention and tests stopping the clock.

Open DRAM endpoint

ROM endpoint

All 74 recorded rows of MemoryEndpointROMTest, in checkpoint order. Outputs are test expectations verified against the simulation. Time is the absolute settled checkpoint time in simulator units, not milliseconds or CPU cycles.

Default scenario profile: canonical-default-preview / structural (d57a5ed1eeab12fc). Changing fidelity or the circuit can change these times.

Checkpointzero-based number · timeline label	Timesimulator units	CLKInput · 1 bit	REQ_ADDRInput · 32 bit	REQ_OPInput · 3 bit	REQ_VALIDInput · 1 bit	REQ_WRITE_DATAInput · 8 bit	REQ_WRITE_MASKInput · 1 bit	RSP_READYInput · 1 bit	RSTInput · 1 bit	REQ_READYExpected output · 1 bit	RSP_READ_DATAExpected output · 8 bit	RSP_STATUSExpected output · 3 bit	RSP_VALIDExpected output · 1 bit
#0reset	11	0	0x00000000	0x0	0	0x00	0	0	1	0	not checked	not checked	0
#1release-reset	17	0	0x00000000	0x0	0	0x00	0	0	0	1	not checked	not checked	not checked
#2read-image-setup	25	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#3read-image-accept	346	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#4read-image-latched	351	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#5read-image-execute	360	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#6read-image-wait-low-0	368	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#7read-image-wait-high-0	378	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#8read-image-wait-low-1	383	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#9read-image-wait-high-1	388	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#10read-image-wait-low-2	393	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#11read-image-wait-high-2	398	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#12read-image-wait-low-3	403	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#13read-image-wait-high-3	408	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#14read-image-wait-low-4	413	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#15read-image-wait-high-4	418	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#16read-image-response	423	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0xA5	0x0	1
#17read-image-hold	428	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0xA5	0x0	1
#18read-image-ready	439	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0xA5	0x0	1
#19read-image-consumed	447	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#20reject-write-setup	455	0	0x00000000	0x1	1	0x00	1	0	0	1	not checked	not checked	not checked
#21reject-write-accept	520	1	0x00000000	0x1	1	0x00	1	0	0	0	not checked	not checked	not checked
#22reject-write-latched	525	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#23reject-write-execute	535	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#24reject-write-wait-low-0	543	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#25reject-write-wait-high-0	553	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#26reject-write-wait-low-1	558	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#27reject-write-wait-high-1	563	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#28reject-write-wait-low-2	568	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#29reject-write-wait-high-2	573	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#30reject-write-wait-low-3	578	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#31reject-write-wait-high-3	583	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#32reject-write-wait-low-4	588	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#33reject-write-wait-high-4	593	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#34reject-write-response	598	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x3	1
#35reject-write-hold	603	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x3	1
#36reject-write-ready	614	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x3	1
#37reject-write-consumed	622	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#38range-error-setup	630	0	0x00000004	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#39range-error-accept	695	1	0x00000004	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#40range-error-latched	700	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#41range-error-execute	710	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#42range-error-wait-low-0	718	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#43range-error-wait-high-0	728	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#44range-error-wait-low-1	733	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#45range-error-wait-high-1	738	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#46range-error-wait-low-2	743	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#47range-error-wait-high-2	748	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#48range-error-wait-low-3	753	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#49range-error-wait-high-3	758	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#50range-error-wait-low-4	763	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#51range-error-wait-high-4	768	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#52range-error-response	773	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#53range-error-hold	778	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#54range-error-ready	789	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x00	0x2	1
#55range-error-consumed	797	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#56reserved-opcode-setup	805	0	0x00000000	0x7	1	0x00	0	0	0	1	not checked	not checked	not checked
#57reserved-opcode-accept	870	1	0x00000000	0x7	1	0x00	0	0	0	0	not checked	not checked	not checked
#58reserved-opcode-latched	875	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#59reserved-opcode-execute	885	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#60reserved-opcode-wait-low-0	893	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#61reserved-opcode-wait-high-0	903	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#62reserved-opcode-wait-low-1	908	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#63reserved-opcode-wait-high-1	913	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#64reserved-opcode-wait-low-2	918	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#65reserved-opcode-wait-high-2	923	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#66reserved-opcode-wait-low-3	928	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#67reserved-opcode-wait-high-3	933	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#68reserved-opcode-wait-low-4	938	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#69reserved-opcode-wait-high-4	943	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#70reserved-opcode-response	948	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#71reserved-opcode-hold	953	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#72reserved-opcode-ready	964	0	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	0x00	0x4	1
#73reserved-opcode-consumed	972	1	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	not checked	not checked	0

Scroll within the table for all rows and pins. Buses use hexadecimal; values containing X/Z use MSB-first binary. Inputs show the declared values in effect at each checkpoint, including retained inputs. Sequential tests also replay preparation changes between checkpoints, such as lowering the clock. Use the matching checkpoint label in the simulation below.

Reads 0xA5 from the construction image and rejects writes without changing contents. Capacity and reserved-operation checks still apply.

Open ROM endpoint

NOR-flash endpoint

All 308 recorded rows of MemoryEndpointFlashTest, in checkpoint order. Outputs are test expectations verified against the simulation. Time is the absolute settled checkpoint time in simulator units, not milliseconds or CPU cycles.

Default scenario profile: canonical-default-preview / structural (d57a5ed1eeab12fc). Changing fidelity or the circuit can change these times.

Checkpointzero-based number · timeline label	Timesimulator units	CLKInput · 1 bit	REQ_ADDRInput · 32 bit	REQ_OPInput · 3 bit	REQ_VALIDInput · 1 bit	REQ_WRITE_DATAInput · 8 bit	REQ_WRITE_MASKInput · 1 bit	RSP_READYInput · 1 bit	RSTInput · 1 bit	REQ_READYExpected output · 1 bit	RSP_READ_DATAExpected output · 8 bit	RSP_STATUSExpected output · 3 bit	RSP_VALIDExpected output · 1 bit
#0reset	11	0	0x00000000	0x0	0	0x00	0	0	1	0	not checked	not checked	0
#1release-reset	17	0	0x00000000	0x0	0	0x00	0	0	0	1	not checked	not checked	not checked
#2write-first-setup	25	0	0x00000000	0x2	1	0x81	1	0	0	1	not checked	not checked	not checked
#3write-first-accept	698	1	0x00000000	0x2	1	0x81	1	0	0	0	not checked	not checked	not checked
#4write-first-latched	703	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#5write-first-execute	712	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#6write-first-wait-low-0	720	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#7write-first-wait-high-0	729	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#8write-first-wait-low-1	734	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#9write-first-wait-high-1	739	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#10write-first-wait-low-2	744	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#11write-first-wait-high-2	749	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#12write-first-wait-low-3	754	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#13write-first-wait-high-3	759	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#14write-first-wait-low-4	764	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#15write-first-wait-high-4	769	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#16write-first-response	774	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#17write-first-hold	779	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#18write-first-ready	790	0	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	0x00	0x0	1
#19write-first-consumed	797	1	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	not checked	not checked	0
#20read-first-setup	805	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#21read-first-accept	1094	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#22read-first-latched	1099	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#23read-first-execute	1108	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#24read-first-wait-low-0	1116	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#25read-first-wait-high-0	1126	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#26read-first-wait-low-1	1131	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#27read-first-wait-high-1	1136	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#28read-first-wait-low-2	1141	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#29read-first-wait-high-2	1146	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#30read-first-wait-low-3	1151	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#31read-first-wait-high-3	1156	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#32read-first-wait-low-4	1161	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#33read-first-wait-high-4	1166	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#34read-first-response	1171	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#35read-first-hold	1176	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#36read-first-ready	1187	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#37read-first-consumed	1195	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#38write-last-setup	1203	0	0x00000003	0x2	1	0x3C	1	0	0	1	not checked	not checked	not checked
#39write-last-accept	1876	1	0x00000003	0x2	1	0x3C	1	0	0	0	not checked	not checked	not checked
#40write-last-latched	1881	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#41write-last-execute	1891	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#42write-last-wait-low-0	1899	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#43write-last-wait-high-0	1908	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#44write-last-wait-low-1	1913	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#45write-last-wait-high-1	1918	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#46write-last-wait-low-2	1923	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#47write-last-wait-high-2	1928	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#48write-last-wait-low-3	1933	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#49write-last-wait-high-3	1938	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#50write-last-wait-low-4	1943	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#51write-last-wait-high-4	1948	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#52write-last-response	1953	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#53write-last-hold	1958	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#54write-last-ready	1969	0	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	0x00	0x0	1
#55write-last-consumed	1976	1	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	not checked	not checked	0
#56read-last-setup	1984	0	0x00000003	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#57read-last-accept	2273	1	0x00000003	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#58read-last-latched	2278	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#59read-last-execute	2287	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#60read-last-wait-low-0	2295	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#61read-last-wait-high-0	2305	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#62read-last-wait-low-1	2310	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#63read-last-wait-high-1	2315	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#64read-last-wait-low-2	2320	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#65read-last-wait-high-2	2325	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#66read-last-wait-low-3	2330	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#67read-last-wait-high-3	2335	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#68read-last-wait-low-4	2340	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#69read-last-wait-high-4	2345	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#70read-last-response	2350	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#71read-last-hold	2355	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#72read-last-ready	2366	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x3C	0x0	1
#73read-last-consumed	2374	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#74zero-mask-setup	2382	0	0x00000000	0x2	1	0x00	0	0	0	1	not checked	not checked	not checked
#75zero-mask-accept	3055	1	0x00000000	0x2	1	0x00	0	0	0	0	not checked	not checked	not checked
#76zero-mask-latched	3060	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#77zero-mask-execute	3070	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#78zero-mask-wait-low-0	3078	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#79zero-mask-wait-high-0	3087	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#80zero-mask-wait-low-1	3092	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#81zero-mask-wait-high-1	3097	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#82zero-mask-wait-low-2	3102	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#83zero-mask-wait-high-2	3107	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#84zero-mask-wait-low-3	3112	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#85zero-mask-wait-high-3	3117	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#86zero-mask-wait-low-4	3122	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#87zero-mask-wait-high-4	3127	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#88zero-mask-response	3132	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	0	0x00	0x0	1
#89zero-mask-hold	3137	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	0	0x00	0x0	1
#90zero-mask-ready	3148	0	0xFFFFFFFF	0x2	0	0x00	0	1	0	1	0x00	0x0	1
#91zero-mask-consumed	3155	1	0xFFFFFFFF	0x2	0	0x00	0	1	0	1	not checked	not checked	0
#92unchanged-setup	3163	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#93unchanged-accept	3452	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#94unchanged-latched	3457	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#95unchanged-execute	3466	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#96unchanged-wait-low-0	3474	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#97unchanged-wait-high-0	3484	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#98unchanged-wait-low-1	3489	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#99unchanged-wait-high-1	3494	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#100unchanged-wait-low-2	3499	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#101unchanged-wait-high-2	3504	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#102unchanged-wait-low-3	3509	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#103unchanged-wait-high-3	3514	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#104unchanged-wait-low-4	3519	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#105unchanged-wait-high-4	3524	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#106unchanged-response	3529	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#107unchanged-hold	3534	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#108unchanged-ready	3545	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#109unchanged-consumed	3553	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#110cannot-program-ones-setup	3561	0	0x00000000	0x2	1	0xFF	1	0	0	1	not checked	not checked	not checked
#111cannot-program-ones-accept	4234	1	0x00000000	0x2	1	0xFF	1	0	0	0	not checked	not checked	not checked
#112cannot-program-ones-latched	4239	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#113cannot-program-ones-execute	4249	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#114cannot-program-ones-wait-low-0	4257	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#115cannot-program-ones-wait-high-0	4266	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#116cannot-program-ones-wait-low-1	4271	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#117cannot-program-ones-wait-high-1	4276	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#118cannot-program-ones-wait-low-2	4281	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#119cannot-program-ones-wait-high-2	4286	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#120cannot-program-ones-wait-low-3	4291	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#121cannot-program-ones-wait-high-3	4296	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#122cannot-program-ones-wait-low-4	4301	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#123cannot-program-ones-wait-high-4	4306	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#124cannot-program-ones-response	4311	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#125cannot-program-ones-hold	4316	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#126cannot-program-ones-ready	4327	0	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	0x00	0x0	1
#127cannot-program-ones-consumed	4334	1	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	not checked	not checked	0
#128still-programmed-setup	4342	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#129still-programmed-accept	4631	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#130still-programmed-latched	4636	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#131still-programmed-execute	4645	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#132still-programmed-wait-low-0	4653	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#133still-programmed-wait-high-0	4663	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#134still-programmed-wait-low-1	4668	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#135still-programmed-wait-high-1	4673	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#136still-programmed-wait-low-2	4678	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#137still-programmed-wait-high-2	4683	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#138still-programmed-wait-low-3	4688	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#139still-programmed-wait-high-3	4693	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#140still-programmed-wait-low-4	4698	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#141still-programmed-wait-high-4	4703	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#142still-programmed-response	4708	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#143still-programmed-hold	4713	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x81	0x0	1
#144still-programmed-ready	4724	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x81	0x0	1
#145still-programmed-consumed	4732	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#146reject-ram-write-setup	4740	0	0x00000000	0x1	1	0x00	1	0	0	1	not checked	not checked	not checked
#147reject-ram-write-accept	4805	1	0x00000000	0x1	1	0x00	1	0	0	0	not checked	not checked	not checked
#148reject-ram-write-latched	4810	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#149reject-ram-write-execute	4820	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#150reject-ram-write-wait-low-0	4828	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#151reject-ram-write-wait-high-0	4838	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#152reject-ram-write-wait-low-1	4843	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#153reject-ram-write-wait-high-1	4848	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#154reject-ram-write-wait-low-2	4853	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#155reject-ram-write-wait-high-2	4858	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#156reject-ram-write-wait-low-3	4863	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#157reject-ram-write-wait-high-3	4868	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#158reject-ram-write-wait-low-4	4873	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#159reject-ram-write-wait-high-4	4878	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#160reject-ram-write-response	4883	0	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x4	1
#161reject-ram-write-hold	4888	1	0xFFFFFFFF	0x1	0	0x00	1	0	0	0	0x00	0x4	1
#162reject-ram-write-ready	4899	0	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	0x00	0x4	1
#163reject-ram-write-consumed	4907	1	0xFFFFFFFF	0x1	0	0x00	1	1	0	1	not checked	not checked	0
#164erase-first-block-setup	4915	0	0x00000000	0x3	1	0x00	0	0	0	1	not checked	not checked	not checked
#165erase-first-block-accept	5716	1	0x00000000	0x3	1	0x00	0	0	0	0	not checked	not checked	not checked
#166erase-first-block-latched	5721	0	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#167erase-first-block-execute	5731	1	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#168erase-first-block-wait-low-0	5739	0	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#169erase-first-block-wait-high-0	5748	1	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#170erase-first-block-wait-low-1	5753	0	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#171erase-first-block-wait-high-1	5758	1	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#172erase-first-block-wait-low-2	5763	0	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#173erase-first-block-wait-high-2	5768	1	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#174erase-first-block-wait-low-3	5773	0	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#175erase-first-block-wait-high-3	5778	1	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#176erase-first-block-wait-low-4	5783	0	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#177erase-first-block-wait-high-4	5788	1	0xFFFFFFFF	0x3	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#178erase-first-block-response	5793	0	0xFFFFFFFF	0x3	0	0x00	0	0	0	0	0x00	0x0	1
#179erase-first-block-hold	5798	1	0xFFFFFFFF	0x3	0	0x00	0	0	0	0	0x00	0x0	1
#180erase-first-block-ready	5809	0	0xFFFFFFFF	0x3	0	0x00	0	1	0	1	0x00	0x0	1
#181erase-first-block-consumed	5816	1	0xFFFFFFFF	0x3	0	0x00	0	1	0	1	not checked	not checked	0
#182read-erased-setup	5824	0	0x00000000	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#183read-erased-accept	6113	1	0x00000000	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#184read-erased-latched	6118	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#185read-erased-execute	6127	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#186read-erased-wait-low-0	6135	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#187read-erased-wait-high-0	6145	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#188read-erased-wait-low-1	6150	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#189read-erased-wait-high-1	6155	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#190read-erased-wait-low-2	6160	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#191read-erased-wait-high-2	6165	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#192read-erased-wait-low-3	6170	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#193read-erased-wait-high-3	6175	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#194read-erased-wait-low-4	6180	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#195read-erased-wait-high-4	6185	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#196read-erased-response	6190	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0xFF	0x0	1
#197read-erased-hold	6195	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0xFF	0x0	1
#198read-erased-ready	6206	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0xFF	0x0	1
#199read-erased-consumed	6214	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#200other-block-retained-setup	6222	0	0x00000003	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#201other-block-retained-accept	6511	1	0x00000003	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#202other-block-retained-latched	6516	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#203other-block-retained-execute	6526	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#204other-block-retained-wait-low-0	6534	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#205other-block-retained-wait-high-0	6544	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#206other-block-retained-wait-low-1	6549	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#207other-block-retained-wait-high-1	6554	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#208other-block-retained-wait-low-2	6559	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#209other-block-retained-wait-high-2	6564	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#210other-block-retained-wait-low-3	6569	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#211other-block-retained-wait-high-3	6574	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#212other-block-retained-wait-low-4	6579	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#213other-block-retained-wait-high-4	6584	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#214other-block-retained-response	6589	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#215other-block-retained-hold	6594	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x3C	0x0	1
#216other-block-retained-ready	6605	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x3C	0x0	1
#217other-block-retained-consumed	6613	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#218range-error-setup	6621	0	0x00000004	0x0	1	0x00	0	0	0	1	not checked	not checked	not checked
#219range-error-accept	6686	1	0x00000004	0x0	1	0x00	0	0	0	0	not checked	not checked	not checked
#220range-error-latched	6691	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#221range-error-execute	6701	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#222range-error-wait-low-0	6709	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#223range-error-wait-high-0	6719	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#224range-error-wait-low-1	6724	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#225range-error-wait-high-1	6729	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#226range-error-wait-low-2	6734	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#227range-error-wait-high-2	6739	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#228range-error-wait-low-3	6744	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#229range-error-wait-high-3	6749	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#230range-error-wait-low-4	6754	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#231range-error-wait-high-4	6759	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#232range-error-response	6764	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#233range-error-hold	6769	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0x00	0x2	1
#234range-error-ready	6780	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0x00	0x2	1
#235range-error-consumed	6788	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0
#236reserved-opcode-setup	6796	0	0x00000000	0x7	1	0x00	0	0	0	1	not checked	not checked	not checked
#237reserved-opcode-accept	6861	1	0x00000000	0x7	1	0x00	0	0	0	0	not checked	not checked	not checked
#238reserved-opcode-latched	6866	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#239reserved-opcode-execute	6876	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#240reserved-opcode-wait-low-0	6884	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#241reserved-opcode-wait-high-0	6894	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#242reserved-opcode-wait-low-1	6899	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#243reserved-opcode-wait-high-1	6904	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#244reserved-opcode-wait-low-2	6909	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#245reserved-opcode-wait-high-2	6914	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#246reserved-opcode-wait-low-3	6919	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#247reserved-opcode-wait-high-3	6924	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#248reserved-opcode-wait-low-4	6929	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#249reserved-opcode-wait-high-4	6934	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#250reserved-opcode-response	6939	0	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#251reserved-opcode-hold	6944	1	0xFFFFFFFF	0x7	0	0x00	0	0	0	0	0x00	0x4	1
#252reserved-opcode-ready	6955	0	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	0x00	0x4	1
#253reserved-opcode-consumed	6963	1	0xFFFFFFFF	0x7	0	0x00	0	1	0	1	not checked	not checked	0
#254unknown-mask-setup	6971	0	0x00000000	0x2	1	0x00	X	0	0	1	not checked	not checked	not checked
#255unknown-mask-accept	7036	1	0x00000000	0x2	1	0x00	X	0	0	0	not checked	not checked	not checked
#256unknown-mask-latched	7041	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#257unknown-mask-execute	7050	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#258unknown-mask-wait-low-0	7058	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#259unknown-mask-wait-high-0	7068	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#260unknown-mask-wait-low-1	7073	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#261unknown-mask-wait-high-1	7078	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#262unknown-mask-wait-low-2	7083	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#263unknown-mask-wait-high-2	7088	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#264unknown-mask-wait-low-3	7093	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#265unknown-mask-wait-high-3	7098	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#266unknown-mask-wait-low-4	7103	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#267unknown-mask-wait-high-4	7108	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#268unknown-mask-response	7113	0	0xFFFFFFFF	0x2	0	0x00	0	0	0	0	0x00	0x6	1
#269unknown-mask-hold	7118	1	0xFFFFFFFF	0x2	0	0x00	0	0	0	0	0x00	0x6	1
#270unknown-mask-ready	7129	0	0xFFFFFFFF	0x2	0	0x00	0	1	0	1	0x00	0x6	1
#271unknown-mask-consumed	7137	1	0xFFFFFFFF	0x2	0	0x00	0	1	0	1	not checked	not checked	0
#272unknown-data-setup	7145	0	0x00000001	0x2	1	0bXXXXXXXX	1	0	0	1	not checked	not checked	not checked
#273unknown-data-accept	7818	1	0x00000001	0x2	1	0bXXXXXXXX	1	0	0	0	not checked	not checked	not checked
#274unknown-data-latched	7823	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#275unknown-data-execute	7833	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#276unknown-data-wait-low-0	7841	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#277unknown-data-wait-high-0	7850	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#278unknown-data-wait-low-1	7855	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#279unknown-data-wait-high-1	7860	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#280unknown-data-wait-low-2	7865	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#281unknown-data-wait-high-2	7870	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#282unknown-data-wait-low-3	7875	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#283unknown-data-wait-high-3	7880	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#284unknown-data-wait-low-4	7885	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#285unknown-data-wait-high-4	7890	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	not checked	not checked	not checked	not checked
#286unknown-data-response	7895	0	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#287unknown-data-hold	7900	1	0xFFFFFFFF	0x2	0	0x00	1	0	0	0	0x00	0x0	1
#288unknown-data-ready	7911	0	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	0x00	0x0	1
#289unknown-data-consumed	7918	1	0xFFFFFFFF	0x2	0	0x00	1	1	0	1	not checked	not checked	0
#290read-unknown-setup	7926	0	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	1	not checked	not checked	not checked
#291read-unknown-accept	8215	1	0x00000001	0x0	1	0bXXXXXXXX	X	0	0	0	not checked	not checked	not checked
#292read-unknown-latched	8220	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#293read-unknown-execute	8229	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#294read-unknown-wait-low-0	8237	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#295read-unknown-wait-high-0	8247	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#296read-unknown-wait-low-1	8252	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#297read-unknown-wait-high-1	8257	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#298read-unknown-wait-low-2	8262	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#299read-unknown-wait-high-2	8267	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#300read-unknown-wait-low-3	8272	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#301read-unknown-wait-high-3	8277	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#302read-unknown-wait-low-4	8282	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#303read-unknown-wait-high-4	8287	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	not checked	not checked	not checked	not checked
#304read-unknown-response	8292	0	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#305read-unknown-hold	8297	1	0xFFFFFFFF	0x0	0	0x00	0	0	0	0	0bXXXXXXXX	0x0	1
#306read-unknown-ready	8308	0	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	0bXXXXXXXX	0x0	1
#307read-unknown-consumed	8316	1	0xFFFFFFFF	0x0	0	0x00	0	1	0	1	not checked	not checked	0

Scroll within the table for all rows and pins. Buses use hexadecimal; values containing X/Z use MSB-first binary. Inputs show the declared values in effect at each checkpoint, including retained inputs. Sequential tests also replay preparation changes between checkpoints, such as lowering the clock. Use the matching checkpoint label in the simulation below.

Programs 0x81 and 0x3C into separate blocks, demonstrates that programming ones cannot restore cleared bits, rejects an ordinary RAM WRITE, erases the first block, and verifies the other block survives.

Open NOR-flash endpoint

Source and tests

• Assembly and native wiring: MemoryController.cpp
• Catalog: MemoryEndpointCatalog.cpp
• All endpoint scenarios and contracts: MemoryEndpointTests.cpp

MemoryEndpointContractTest compares all five technology endpoints at widths 8/16/32. MemoryEndpointTimingTest checks held responses, interface reset without storage clearing, reset during flash programming, refresh under backpressure, and retention loss after stopping the clock. FFAlwaysReadyControllerTest checks the narrower, unbuffered FF response contract. RV32I integration is checked separately by RV32IMemoryMigrationTest: all three cores use this common port. The strict single-cycle core and baseline pipeline require zero-wait FF endpoints and use the always-ready response path; the advanced pipeline retains the buffered endpoint for backpressure. Neither integration nor these endpoint tests imply cache/coherence support.

MemoryInspectorTest, MemoryInspectorIntegrationTest.py, and MemoryInspectorBrowserTest.py check accepted-request tracking, same-edge completion, rewind, native/Python/WASM agreement, fetched-instruction and data-access highlights, and address paging. These are observation tests, separate from the hardware contract tests above.

MemoryEndpointIntegrationTest also compiles the exact documentation snippets. Its reference checks exercise all six controller/endpoint backends at W=8/16/32, and compare the documented sequencer's pins, result, status, availability, completion, and deadlines with the production sequencer over 432,000 deterministic steps. The endpoint reference itself is instantiated and exercised, not just syntax-checked.