calyx 0.7.1

Compiler Infrastructure for Hardware Accelerator Generation
// -p validate -p compile-invoke
import "primitives/compile.futil";

component foo() -> () {
    cells {
        ref r = std_reg(32);
    }
    wires {}
    control {
        invoke r(in = 32'd10)();
    }
}

component main() -> () {
    cells {
        r0 = std_reg(32);
        f = foo();
    }
    wires {}
    control {
        invoke f[r=r0]()();
    }
}