![]() |
The ROme OpTimistic Simulator
3.0.0
A General-Purpose Multithreaded Parallel/Distributed Simulation Platform
|
Header of the model used to verify the runtime correctness. More...
Go to the source code of this file.
Data Structures | |
struct | _buffer |
struct | _lp_state_type |
Typedefs | |
typedef struct _buffer | buffer |
typedef struct _lp_state_type | lp_state |
Enumerations | |
enum | { LOOP = MODEL_FINI + 1, RECEIVE } |
Functions | |
buffer * | get_buffer (buffer *head, unsigned i) |
uint32_t | read_buffer (buffer *head, unsigned i, uint32_t old_crc) |
buffer * | allocate_buffer (lp_state *state, const unsigned *data, unsigned count) |
buffer * | deallocate_buffer (buffer *head, unsigned i) |
void | crc_table_init (void) |
Variables | |
const char | model_expected_output_64 [679] |
Header of the model used to verify the runtime correctness.
Definition in file application.h.