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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148

extern "binary_operators.sv" {
  /// =================== Unsigned, Fixed Point =========================
  comb primitive std_fp_add<"share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](@data left: WIDTH, @data right: WIDTH) ->(out: WIDTH);

  comb primitive std_fp_sub<"share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](@data left: WIDTH, @data right: WIDTH)->(out: WIDTH);

  primitive std_fp_mult_pipe<"state_share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @interval(3) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    @stable out: WIDTH,
    @done done: 1
  );

  primitive std_fp_div_pipe<"state_share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    @stable out_remainder: WIDTH,
    @stable out_quotient: WIDTH,
    @done done: 1
  );

  comb primitive std_fp_gt<"share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](@data left: WIDTH, @data right: WIDTH) -> (out: 1);

  /// =================== Signed, Fixed Point =========================
  comb primitive std_fp_sadd<"share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](@data left: WIDTH, @data right: WIDTH) -> (out: WIDTH);

  comb primitive std_fp_ssub<"share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](@data left: WIDTH, @data right: WIDTH) -> (out: WIDTH);

  primitive std_fp_smult_pipe<"state_share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @interval(3) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    @stable out: WIDTH,
    @done done: 1
  );

  primitive std_fp_sdiv_pipe<"state_share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    @stable out_remainder: WIDTH,
    @stable out_quotient: WIDTH,
    @done done: 1
  );

  comb primitive std_fp_sgt<"share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](@data left: WIDTH, @data right: WIDTH) -> (out: 1);

  comb primitive std_fp_slt<"share"=1>[
    WIDTH, INT_WIDTH, FRAC_WIDTH
  ](@data left: WIDTH, @data right: WIDTH) -> (out: 1);

  /// =================== Unsigned, Bitnum =========================
  /// Other unsigned bitnum primitives are found in the core library,
  /// since they're required for FSM encoding.
  primitive std_mult_pipe<"state_share"=1>[WIDTH](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @interval(3) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    @stable out: WIDTH,
    @done done: 1
  );

  primitive std_div_pipe<"state_share"=1>[WIDTH](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    @stable out_quotient: WIDTH,
    @stable out_remainder: WIDTH,
    @done done: 1
  );

  /// =================== Signed, Bitnum =========================
  comb primitive std_sadd<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: WIDTH);
  comb primitive std_ssub<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: WIDTH);

  primitive std_smult_pipe<"state_share"=1>[WIDTH](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @interval(3) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    @stable out: WIDTH,
    @done done: 1
  );

  primitive std_sdiv_pipe[WIDTH](
    @clk clk: 1,
    @reset reset: 1,
    @write_together(1) @go go: 1,
    @write_together(1) @data left: WIDTH,
    @write_together(1) @data right: WIDTH
  ) -> (
    out_quotient: WIDTH,
    out_remainder: WIDTH,
    @done done: 1
  );

  comb primitive std_sgt<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: 1);
  comb primitive std_slt<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: 1);
  comb primitive std_seq<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: 1);
  comb primitive std_sneq<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: 1);
  comb primitive std_sge<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: 1);
  comb primitive std_sle<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: 1);
  comb primitive std_slsh<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: WIDTH);
  comb primitive std_srsh<"share"=1>[WIDTH](@data left: WIDTH, @data right: WIDTH) -> (out: WIDTH);
  comb primitive std_signext<"share"=1>[IN_WIDTH, OUT_WIDTH](@data in: IN_WIDTH) -> (out: OUT_WIDTH);
}