; SPDX-License-Identifier: Apache-2.0
circuit CustomTransform :
  ; Replaced in custom transform by an implementation
  extmodule Delay :
    input clock : Clock
    input reset : UInt<1>
    input a : UInt<32>
    input en : UInt<1>
    output b : UInt<32>

  module CustomTransform :
    input clock : Clock
    input reset : UInt<1>

    reg cycle : UInt<32>, clock with : (reset => (reset, UInt<32>(0)))
    cycle <= tail(add(cycle, UInt<32>(1)), 1)

    inst delay of Delay
    delay.clock <= clock
    delay.reset <= reset
    delay.a <= UInt(0)
    delay.en <= UInt(0)

    when eq(cycle, UInt(0)) :
      delay.en <= UInt(1)
      delay.a <= UInt("hdeadbeef")
    when eq(cycle, UInt(1)) :
      when neq(delay.b, UInt("hdeadbeef")) :
        printf(clock, UInt(1), "Assertion failed!\n")
        stop(clock, UInt(1), 1)
    when eq(cycle, UInt(2)) :
      printf(clock, UInt(1), "Success!\n")
      stop(clock, UInt(1), 0)