summaryrefslogtreecommitdiff
path: root/cpu/netlist_gen.mli
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-02 15:20:30 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-02 15:20:30 +0100
commit6268a3d0f92df7be461da6f8474fa7a62e628fe3 (patch)
tree35f76d73a556b3ce2348db140b8232bdf4710e1c /cpu/netlist_gen.mli
parentd1cb70b15a016c6714d172203e5916763a4bc8ab (diff)
downloadSystDigit-Projet-6268a3d0f92df7be461da6f8474fa7a62e628fe3.tar.gz
SystDigit-Projet-6268a3d0f92df7be461da6f8474fa7a62e628fe3.zip
Ajout support pour les cycles.
Diffstat (limited to 'cpu/netlist_gen.mli')
-rw-r--r--cpu/netlist_gen.mli4
1 files changed, 3 insertions, 1 deletions
diff --git a/cpu/netlist_gen.mli b/cpu/netlist_gen.mli
index 9dd7b62..69a165a 100644
--- a/cpu/netlist_gen.mli
+++ b/cpu/netlist_gen.mli
@@ -1,4 +1,4 @@
-type t
+type t = unit -> Netlist_proc.res ref
val print : out_channel -> Netlist_ast.program -> unit
@@ -23,6 +23,8 @@ val rom : string -> int -> int -> t -> t
val ram : int -> int -> t -> t -> t -> t -> t
+val reg : int -> t -> t
+
val main_0_1 : t -> Netlist_ast.program
val main_0_2 : t * t -> Netlist_ast.program
val main_0_3 : t * t * t -> Netlist_ast.program