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
|
; SPDX-License-Identifier: Apache-2.0
circuit ZeroWidthMem :
module ZeroWidthMem :
input clock : Clock
input reset : UInt<1>
input waddr : UInt<4>
input in : {0: UInt<10>, 1: UInt<0>}
input raddr : UInt<4>
output out : {0: UInt<10>, 1: UInt<0>}
cmem ram : {0: UInt<10>, 1: UInt<0>}[16]
infer mport ramin = ram[waddr], clock
infer mport ramout = ram[raddr], clock
cmem totallyEmptyRam : UInt<0>[16]
infer mport emptyRamout = totallyEmptyRam[raddr], clock
ramin.0 <= in.0
ramin.1 <= in.1
out.0 <= ramout.0
out.1 <= ramout.1
wire foo : UInt<32>
foo <= UInt<32>("hdeadbeef")
when not(reset) :
when eq(foo, UInt<32>("hdeadbeef")) :
stop(clock, UInt(1), 0) ; Success !
else :
printf(clock, UInt(1), "Assertion failed!\n")
stop(clock, UInt(1), 1) ; Failure!
when neq(emptyRamout, UInt<1>("h0")) :
stop(clock, UInt(1), 1) ; Failure! empty mem should be zero
|
