From 846abc1768531ac62601d2827e9ac53d125c443a Mon Sep 17 00:00:00 2001 From: Michalis Pardalos Date: Fri, 3 Sep 2021 14:05:20 +0100 Subject: Print control registers in HTL output --- src/hls/PrintHTL.ml | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/hls/PrintHTL.ml b/src/hls/PrintHTL.ml index 2bee487..d051aad 100644 --- a/src/hls/PrintHTL.ml +++ b/src/hls/PrintHTL.ml @@ -76,6 +76,17 @@ let print_ram pp opt_ram = fprintf pp "}\n\n" | None -> () +let print_control pp f = + fprintf pp "control {\n"; + fprintf pp " st: %s\n" (register f.mod_st); + fprintf pp " stk: %s\n" (register f.mod_stk); + fprintf pp " finish: %s\n" (register f.mod_finish); + fprintf pp " return: %s\n" (register f.mod_return); + fprintf pp " start: %s\n" (register f.mod_start); + fprintf pp " reset: %s\n" (register f.mod_reset); + fprintf pp " clk: %s\n" (register f.mod_clk); + fprintf pp "}\n\n" + let print_module pp id f = fprintf pp "%s(%s) {\n" (extern_atom id) (registers f.mod_params); @@ -83,6 +94,8 @@ let print_module pp id f = let datapath = ptree_to_list f.mod_datapath in let controllogic = ptree_to_list f.mod_controllogic in + print_control pp f; + print_ram pp f.mod_ram; fprintf pp "externctrl {\n"; -- cgit