blob: eb9ba13f5771360ab8a97406663e3c7693298988 (
plain)
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
|
; See LICENSE for license details.
circuit ParameterizedExtModuleTester :
extmodule ParameterizedExtModule_1 :
input foo : UInt<16>
output bar : UInt<16>
defname = ParameterizedExtModule
parameter VALUE = 1
parameter STRING = "one"
parameter REAL = -1.7
parameter TYP = 'bit'
extmodule ParameterizedExtModule_2 :
input foo : UInt<16>
output bar : UInt<16>
defname = ParameterizedExtModule
parameter VALUE = 2
parameter STRING = "two"
parameter REAL = 2.6E50
parameter TYP = 'bit [1:0]'
module ParameterizedExtModuleTester :
input clk : Clock
input reset : UInt<1>
inst dut1 of ParameterizedExtModule_1
inst dut2 of ParameterizedExtModule_2
dut1.foo <= UInt(1000)
dut2.foo <= UInt(1000)
when not(reset) :
when neq(dut1.bar, UInt(1003)) :
printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
stop(clk, not(reset), 1)
else :
when neq(dut2.bar, UInt(1008)) :
printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
stop(clk, not(reset), 1)
else :
stop(clk, not(reset), 0)
|
