blob: 9e33e1ebacf5a8401d42f91a7f1e8bf1ef21e60e (
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
|
; SPDX-License-Identifier: Apache-2.0
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\'d2'
parameter STRING = "two"
parameter REAL = 2.6E50
parameter TYP = 'bit [1:0]'
module ParameterizedExtModuleTester :
input clock : 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(clock, not(reset), "Assertion failed\nTest Failed!\n")
stop(clock, not(reset), 1)
else :
when neq(dut2.bar, UInt(1008)) :
printf(clock, not(reset), "Assertion failed\nTest Failed!\n")
stop(clock, not(reset), 1)
else :
stop(clock, not(reset), 0)
|
