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
|
circuit MultiExtModuleTester :
extmodule SimpleExtModule :
input foo : UInt<16>
output bar : UInt<16>
extmodule AdderExtModule :
input foo : UInt<16>
output bar : UInt<16>
module MultiExtModuleTester :
input clk : Clock
input reset : UInt<1>
inst dut1 of SimpleExtModule
inst dut2 of SimpleExtModule
inst dut3 of AdderExtModule
dut1.foo <= UInt(1234)
dut2.foo <= UInt(5678)
dut3.foo <= UInt(100)
when not(reset) :
when neq(dut1.bar, UInt(1234)) :
printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
stop(clk, not(reset), 1)
else :
when neq(dut2.bar, UInt(5678)) :
printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
stop(clk, not(reset), 1)
else :
when neq(dut3.bar, UInt(101)) :
printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
stop(clk, not(reset), 1)
else :
stop(clk, not(reset), 0)
|
