blob: 3d40477a24e39d0a25fb1e2eb8ad8cb2a129f8f0 (
plain) (
blame)
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
|
type t
val print : out_channel -> Netlist_ast.program -> unit
val id : string -> Netlist_ast.ident
val get : Netlist_ast.ident -> t
val loop : int -> (t * (t -> t))
val const : string -> t
val ( ++ ) : t -> t -> t (* concat *)
val ( ^| ) : t -> t -> t (* or *)
val ( ^^ ) : t -> t -> t (* xor *)
val ( ^& ) : t -> t -> t (* and *)
val ( ^$ ) : t -> t -> t (* nand *)
val not : t -> t
val mux : t -> t -> t -> t
val ( ** ) : t -> int -> t (* select *)
val ( % ) : t -> int * int -> t (* slice *)
val rom : string -> int -> int -> t -> t
val ram : int -> int -> t -> t -> t -> t -> t
val reg : int -> t -> t
val program :
(Netlist_ast.ident * int) list (* liste des entrées : (nom, taille) *)
-> (Netlist_ast.ident * int * t) list (* liste des sorties : (nom de la sortie, taille, equation) *)
-> Netlist_ast.program
|
