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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
#[macro_export]
macro_rules! hls_fifo_write_lazy {
($sim: ident, $clock: ident, $uut: ident, $($fifo:ident).+, $data: expr) => {
wait_clock_true!($sim, $clock, $uut);
for val in $data {
$uut = $sim.watch(|x| !x.$($fifo).+.full.val(), $uut)?;
$uut.$($fifo).+.data.next = (*val).into();
$uut.$($fifo).+.write.next = true;
wait_clock_cycle!($sim, $clock, $uut);
$uut.$($fifo).+.write.next = false;
if rand::thread_rng().gen::<f64>() < 0.2 {
for _ in 0..(rand::thread_rng().gen::<u8>() % 40) {
wait_clock_cycle!($sim, $clock, $uut);
}
}
}
}
}
#[macro_export]
macro_rules! hls_fifo_write {
($sim: ident, $clock:ident, $uut: ident, $($fifo:ident).+, $data: expr) => {
wait_clock_true!($sim, $clock, $uut);
for val in $data {
$uut = $sim.watch(|x| !x.$($fifo).+.full.val(), $uut)?;
$uut.$($fifo).+.data.next = val.into();
$uut.$($fifo).+.write.next = true;
wait_clock_cycle!($sim, $clock, $uut);
$uut.$($fifo).+.write.next = false;
}
}
}
#[macro_export]
macro_rules! hls_fifo_read {
($sim: ident, $clock: ident, $uut: ident, $($fifo:ident).*, $data: expr) => {
wait_clock_true!($sim, $clock, $uut);
for val in $data {
$uut = $sim.watch(|x| !x.$($fifo).+.empty.val(), $uut)?;
sim_assert!($sim, $uut.$($fifo).+.data.val() == *val, $uut);
$uut.$($fifo).+.read.next = true;
wait_clock_cycle!($sim, $clock, $uut);
$uut.$($fifo).+.read.next = false;
}
}
}
#[macro_export]
macro_rules! hls_fifo_read_lazy {
($sim: ident, $clock: ident, $uut: ident, $($fifo:ident).*, $data: expr) => {
wait_clock_true!($sim, $clock, $uut);
for val in $data {
$uut = $sim.watch(|x| !x.$($fifo).+.empty.val(), $uut)?;
sim_assert!($sim, $uut.$($fifo).+.data.val() == *val, $uut);
$uut.$($fifo).+.read.next = true;
wait_clock_cycle!($sim, $clock, $uut);
$uut.$($fifo).+.read.next = false;
if rand::thread_rng().gen::<f64>() < 0.2 {
for _ in 0..(rand::thread_rng().gen::<u8>() % 40) {
wait_clock_cycle!($sim, $clock, $uut);
}
}
}
}
}
#[macro_export]
macro_rules! hls_host_get_word {
($sim: ident, $clock: ident, $uut: ident, $($fifo:ident).*) => {
{
wait_clock_true!($sim, $clock, $uut);
let mut ret = 0x0_u16;
$uut = $sim.watch(|x| !x.$($fifo).+.bus_read.empty.val(), $uut)?;
ret = $uut.$($fifo).+.bus_read.data.val().into();
$uut.$($fifo).+.bus_read.read.next = true;
wait_clock_cycle!($sim, $clock, $uut);
$uut.$($fifo).+.bus_read.read.next = false;
$uut = $sim.watch(|x| !x.$($fifo).+.bus_read.empty.val(), $uut)?;
let byte: u8 = $uut.$($fifo).+.bus_read.data.val().into();
ret = (ret << 8) | (byte as u16);
$uut.$($fifo).+.bus_read.read.next = true;
wait_clock_cycle!($sim, $clock, $uut);
$uut.$($fifo).+.bus_read.read.next = false;
ret
}}
}
#[macro_export]
macro_rules! hls_host_get_words {
($sim: ident, $clock: ident, $uut: ident, $($fifo: ident).+, $count: expr) => {
{
let mut ret = vec![];
for _ in 0..$count {
ret.push(hls_host_get_word!($sim, $clock, $uut, $($fifo).+));
}
ret
}
}
}
#[macro_export]
macro_rules! hls_host_put_word {
($sim: ident, $clock: ident, $uut: ident, $($fifo:ident).*, $val: expr) => {
hls_fifo_write!($sim, $clock, $uut, $($fifo).+.bus_write, [($val >> 8) as u8, ($val & 0xFF) as u8]);
}
}
#[macro_export]
macro_rules! hls_host_ping {
($sim: ident, $clock: ident, $uut: ident, $($fifo:ident).+, $data: expr) => {
hls_host_put_word!($sim, $clock, $uut, $($fifo).+, 0x0100_u16 | ($data as u16));
}
}
#[macro_export]
macro_rules! hls_host_noop {
($sim: ident, $clock: ident, $uut: ident, $($fifo: ident).+) => {
hls_host_put_word!($sim, $clock, $uut, $($fifo).+, 0x0000_u16);
}
}
#[macro_export]
macro_rules! hls_host_write {
($sim: ident, $clock: ident, $uut: ident, $($fifo: ident).+, $addr: expr, $data: expr) => {
hls_host_put_word!($sim, $clock, $uut, $($fifo).+, 0x0300_u16 | ($addr as u16));
hls_host_put_word!($sim, $clock, $uut, $($fifo).+, $data.len() as u16);
for word in $data {
hls_host_put_word!($sim, $clock, $uut, $($fifo).+, word as u16);
}
}
}
#[macro_export]
macro_rules! hls_host_issue_read {
($sim: ident, $clock: ident, $uut: ident, $($fifo: ident).+, $addr: expr, $count: expr) => {
{
hls_host_put_word!($sim, $clock, $uut, $($fifo).+, 0x0200_u16 | ($addr as u16));
hls_host_put_word!($sim, $clock, $uut, $($fifo).+, $count as u16);
}
}
}
#[macro_export]
macro_rules! hls_host_drain {
($sim: ident, $clock: ident, $uut: ident, $($fifo: ident).+) => {
{
$uut.$($fifo).+.bus_read.read.next = false;
while (!$uut.$($fifo).+.bus_read.empty.val()) {
$uut.$($fifo).+.bus_read.read.next = true;
wait_clock_cycle!($sim, $clock, $uut);
$uut.$($fifo).+.bus_read.read.next = false;
}
}
}
}
