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
|
%{
open Netlist_ast
let value_of_string n =
let ret = Array.make (String.length n) false in
for i = 0 to String.length n - 1 do
if n.[i] = '1' then ret.(i) <- true
done;
ret
%}
%token <string> INT
%token <string> NAME
%token AND MUX NAND OR RAM ROM XOR REG NOT
%token CONCAT SELECT SLICE
%token COLON EQUAL COMMA VAR IN INPUT OUTPUT
%token EOF
%start program /* the entry point */
%type <Netlist_ast.program> program
%%
program:
INPUT inp=separated_list(COMMA, NAME)
OUTPUT out=separated_list(COMMA, NAME)
VAR vars=separated_list(COMMA, var) IN eqs=list(equ) EOF
{ { p_eqs = eqs; p_vars = Env.of_list vars; p_inputs = inp; p_outputs = out; } }
equ:
x=NAME EQUAL e=exp { (x, e) }
exp:
| a=arg { Earg a }
| NOT x=arg { Enot x }
| REG x=NAME { Ereg x }
| AND x=arg y=arg { Ebinop(And, x, y) }
| OR x=arg y=arg { Ebinop(Or, x, y) }
| NAND x=arg y=arg { Ebinop(Nand, x, y) }
| XOR x=arg y=arg { Ebinop(Xor, x, y) }
| MUX x=arg y=arg z=arg { Emux(x, y, z) }
| ROM addr=INT word=INT ra=arg
{ Erom(int_of_string addr, int_of_string word, ra) }
| RAM addr=INT word=INT ra=arg we=arg wa=arg data=arg
{ Eram(int_of_string addr, int_of_string word, ra, we, wa, data) }
| CONCAT x=arg y=arg
{ Econcat(x, y) }
| SELECT idx=INT x=arg
{ Eselect (int_of_string idx, x) }
| SLICE min=INT max=INT x=arg
{ Eslice (int_of_string min, int_of_string max, x) }
arg:
| n=INT { Aconst (value_of_string n) }
| id=NAME { Avar id }
var: x=NAME ty=ty_exp { (x, ty) }
ty_exp:
| /*empty*/ { 1 }
| COLON n=INT { int_of_string n }
|
