ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
systemc.h
Go to the documentation of this file.
1
/***************************************************************
2
* systemc.h
3
*
4
* Includes the libraries to handle with SystemC
5
* codes. Also defines the sc_main function
6
*
7
* @author Luciano Sobral <sobral.luciano@gmail.com>
8
*
9
***************************************************************/
10
11
#ifndef SYSTEMC_H
12
#define SYSTEMC_H
13
14
/***************************************************************/
15
/*********************** CPP INCLUDES **************************/
16
/***************************************************************/
17
18
// #include <iostream>
19
// #include <string>
20
21
/***************************************************************/
22
/*********************** SYSTEMC INCLUDES **********************/
23
/***************************************************************/
24
25
#include "
systemc/kernel/sc_module.h
"
26
#include "
systemc/kernel/sc_wait.h
"
27
// #include "systemc/kernel/sc_sensitive.h"
28
29
#include "
systemc/communication/sc_signal.h
"
30
#include "
systemc/communication/sc_signal_ports.h
"
31
#include "
systemc/communication/sc_clock.h
"
32
33
#define sc_main main
34
35
#endif
sc_clock.h
sc_module.h
sc_signal.h
sc_signal_ports.h
sc_wait.h
src
cpp
library
systemc.h
Generated by
1.15.0