calyx 0.7.1

Compiler Infrastructure for Hardware Accelerator Generation
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

import "primitives/core.futil";
import "primitives/memories/comb.futil";
component main(go: 1, clk: 1, @go go0: 1, @clk clk0: 1, @reset reset: 1) -> (done: 1, @done done0: 1) {
  cells {
    r0 = std_reg(1);
    r1 = std_reg(1);
    m0 = comb_mem_d1(32, 1, 1);
  }
  wires {
    group one_cycle<"promotable"=1> {
      r0.write_en = 1'd1;
      one_cycle[done] = r0.done;
    }
    group two_cycles<"promotable"=2> {
      r0.write_en = 1'd1;
      r1.write_en = r0.done;
      two_cycles[done] = r1.done;
    }
    group mem_wrt_to_done<"promotable"=1> {
      m0.addr0 = 1'd0;
      m0.write_data = 32'd5;
      m0.write_en = 1'd1;
      mem_wrt_to_done[done] = m0.done;
    }
    group mult_wrts_to_done {
      r0.write_en = 1'd1;
      mult_wrts_to_done[done] = r0.done ? 1'd1;
    }
  }
  control {
    seq {
      @promotable one_cycle;
      @promotable(2) two_cycles;
      @promotable mem_wrt_to_done;
      mult_wrts_to_done;
      @promotable one_cycle;
      mult_wrts_to_done;
      @promotable(2) two_cycles;
    }
  }
}