aboutsummaryrefslogtreecommitdiff
path: root/src/test/resources/blackboxes/RenamedExtModuleTester.fir
blob: 9e8078139e2bc1d6fd6ab00d822431e510d831a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
; See LICENSE for license details.
circuit RenamedExtModuleTester :
  extmodule ThisIsJustTheFirrtlName :
    input foo : UInt<16>
    output bar : UInt<16>

    defname = SimpleExtModule

  module RenamedExtModuleTester :
    input clk : Clock
    input reset : UInt<1>

    inst dut of ThisIsJustTheFirrtlName

    dut.foo <= UInt(1234)

    when not(reset) :
      when neq(dut.bar, UInt(1234)) :
        printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
        stop(clk, not(reset), 1)
      else :
        stop(clk, not(reset), 0)