From c6817261244d2e177053ccaca64c52a8290ddff6 Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Sat, 2 Nov 2019 18:33:05 -0600
Subject: [PATCH] try to enlarge write buffers in ini writer, but these codes
 should be fully reworked

---
 vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_api.c               | 2 --
 .../vpr/SRC/fpga_x2p/verilog/verilog_formality_autodeck.c     | 4 ++--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_api.c b/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_api.c
index 074fb557b..4c1c4a223 100644
--- a/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_api.c
+++ b/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_api.c
@@ -418,13 +418,11 @@ void vpr_fpga_verilog(ModuleManager& module_manager,
                                        std::string(src_dir_path));
 
     /* Output script for formality */
-    /*
     write_formality_script(vpr_setup.FPGA_SPICE_Opts.SynVerilogOpts,
                            fm_dir_path,
                            src_dir_path,
                            chomped_circuit_name,
                            *(Arch.spice));
-     */
 
     /* Print out top-level testbench using random vectors */
     std::string random_top_testbench_file_path = std::string(src_dir_path) 
diff --git a/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_formality_autodeck.c b/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_formality_autodeck.c
index 1ffa58bea..7e28655fd 100644
--- a/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_formality_autodeck.c
+++ b/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_formality_autodeck.c
@@ -177,8 +177,8 @@ void write_formality_script (t_syn_verilog_opts fpga_verilog_opts,
   char* formality_script_file_name = NULL;
   char* benchmark_path = NULL;
   char* original_output_name = NULL;
-  char WriteBuffer[200];
-  char INI_lbl[20];
+  char WriteBuffer[4096];
+  char INI_lbl[4096];
 /*  int output_length; */
 /*  int pos; */
   FILE* fp = NULL;