simulation.h File Reference

#include "Vaxi_control_witness.h"
#include "../refusal.h"
#include "verilated.h"
#include <cstdint>
#include <stdexcept>

Go to the source code of this file.

Classes
struct	witness::Edge
class	witness::Simulation

Variables
constexpr std::uint64_t	witness::transaction_limit = 100000

Detailed Description

reusable production RTL clock and AXI transport.

Definition in file simulation.h.

Variable Documentation

transaction_limit

std::uint64_t witness::transaction_limit = 100000

constexpr

Maximum simulated nanoseconds spent awaiting one AXI transaction.

Definition at line 24 of file simulation.h.