1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
/* --- Generated the 13/5/2019 at 10:21 --- */
/* --- heptagon compiler, version 1.05.00 (compiled mon. may. 13 10:18:8 CET 2019) --- */
/* --- Command line: /local/STATOR/packages/opam-root/4.07.1/bin/heptc -target c -hepts -s main -target ctrln radiotrans.ept --- */
#ifndef RADIOTRANS_H
#define RADIOTRANS_H
#include "radiotrans_types.h"
#include "radiotrans_controller.h"
typedef struct Radiotrans__transceiver_mem {
Radiotrans__st ck;
int pnr;
} Radiotrans__transceiver_mem;
typedef struct Radiotrans__transceiver_out {
int red;
} Radiotrans__transceiver_out;
void Radiotrans__transceiver_reset(Radiotrans__transceiver_mem* self);
void Radiotrans__transceiver_step(int enter_tx, int enter_rx, int exit_rx,
int calibrate, int sleep, int wake_up,
int irq_tx_done, int irq_on_packet,
int irq_end_of_packet,
int irq_end_of_calibration,
int irq_fifo_threshold, int ok,
Radiotrans__transceiver_out* _out,
Radiotrans__transceiver_mem* self);
typedef struct Radiotrans__adc_mem {
Radiotrans__st_1 ck;
int pnr;
} Radiotrans__adc_mem;
typedef struct Radiotrans__adc_out {
int o;
} Radiotrans__adc_out;
void Radiotrans__adc_reset(Radiotrans__adc_mem* self);
void Radiotrans__adc_step(int adc_on, int adc_off, int ok,
Radiotrans__adc_out* _out,
Radiotrans__adc_mem* self);
typedef struct Radiotrans__main_mem {
Radiotrans__st_3 ck;
Radiotrans__st_2 ck_1;
int pnr_1;
int pnr;
} Radiotrans__main_mem;
typedef struct Radiotrans__main_out {
int a_on;
int red;
} Radiotrans__main_out;
void Radiotrans__main_reset(Radiotrans__main_mem* self);
void Radiotrans__main_step(int enter_tx, int enter_rx, int exit_rx,
int calibrate, int sleep, int wake_up,
int irq_tx_done, int irq_on_packet,
int irq_end_of_packet, int irq_end_of_calibration,
int irq_fifo_threshold, int adc_on, int adc_off,
Radiotrans__main_out* _out,
Radiotrans__main_mem* self);
#endif // RADIOTRANS_H
|
