![]() |
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...
Include dependency graph for application.h:
This graph shows which files directly or indirectly include this file: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.