From 80bdb41df61a58a7165371999b7239b153a561cf Mon Sep 17 00:00:00 2001 From: ganeshgore Date: Sat, 11 Apr 2020 18:30:21 -0600 Subject: [PATCH] Updated task file to run formal verification --- openfpga_flow/tasks/OpenFPGAShell_Example/config/task.conf | 1 + 1 file changed, 1 insertion(+) diff --git a/openfpga_flow/tasks/OpenFPGAShell_Example/config/task.conf b/openfpga_flow/tasks/OpenFPGAShell_Example/config/task.conf index f06ae2589..4ea65822f 100644 --- a/openfpga_flow/tasks/OpenFPGAShell_Example/config/task.conf +++ b/openfpga_flow/tasks/OpenFPGAShell_Example/config/task.conf @@ -31,3 +31,4 @@ bench0_chan_width = 300 [SCRIPT_PARAM_MIN_ROUTE_CHAN_WIDTH] end_flow_with_test= +vpr_fpga_verilog_formal_verification_top_netlist=