[test] update golden netlists

This commit is contained in:
tangxifan 2023-09-06 22:51:38 -07:00
parent eaadff3448
commit 1287097ce5
121 changed files with 0 additions and 372 deletions

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none
@ -121,6 +118,3 @@ end
endmodule endmodule
// ----- END Verilog module for and2_top_formal_verification_random_tb ----- // ----- END Verilog module for and2_top_formal_verification_random_tb -----
//----- Default net type -----
`default_nettype wire

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ------ Include defines: preproc flags ----- // ------ Include defines: preproc flags -----
`include "fpga_defines.v" `include "fpga_defines.v"

View File

@ -4,8 +4,5 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
`define ENABLE_TIMING 1 `define ENABLE_TIMING 1

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_clb ----- // ----- BEGIN Grid Verilog module: grid_clb -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_bottom ----- // ----- BEGIN Grid Verilog module: grid_io_bottom -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_left ----- // ----- BEGIN Grid Verilog module: grid_io_left -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_right ----- // ----- BEGIN Grid Verilog module: grid_io_right -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_top ----- // ----- BEGIN Grid Verilog module: grid_io_top -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: clb ----- // ----- BEGIN Physical programmable logic block Verilog module: clb -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: fle ----- // ----- BEGIN Physical programmable logic block Verilog module: fle -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: ble4 ----- // ----- BEGIN Physical programmable logic block Verilog module: ble4 -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: io ----- // ----- BEGIN Physical programmable logic block Verilog module: io -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,6 +4,3 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,6 +4,3 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,6 +4,3 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- Template Verilog module for DFFSRQ ----- // ----- Template Verilog module for DFFSRQ -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Verilog modules for regular wires ----- // ----- BEGIN Verilog modules for regular wires -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none
@ -121,6 +118,3 @@ end
endmodule endmodule
// ----- END Verilog module for and2_top_formal_verification_random_tb ----- // ----- END Verilog module for and2_top_formal_verification_random_tb -----
//----- Default net type -----
`default_nettype wire

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ------ Include defines: preproc flags ----- // ------ Include defines: preproc flags -----
`include "fpga_defines.v" `include "fpga_defines.v"

View File

@ -4,8 +4,5 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
`define ENABLE_TIMING 1 `define ENABLE_TIMING 1

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_clb ----- // ----- BEGIN Grid Verilog module: grid_clb -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_bottom ----- // ----- BEGIN Grid Verilog module: grid_io_bottom -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_left ----- // ----- BEGIN Grid Verilog module: grid_io_left -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_right ----- // ----- BEGIN Grid Verilog module: grid_io_right -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_top ----- // ----- BEGIN Grid Verilog module: grid_io_top -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: clb ----- // ----- BEGIN Physical programmable logic block Verilog module: clb -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: fle ----- // ----- BEGIN Physical programmable logic block Verilog module: fle -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: ble4 ----- // ----- BEGIN Physical programmable logic block Verilog module: ble4 -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: io ----- // ----- BEGIN Physical programmable logic block Verilog module: io -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,6 +4,3 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,6 +4,3 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,6 +4,3 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- Template Verilog module for DFFSRQ ----- // ----- Template Verilog module for DFFSRQ -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Verilog modules for regular wires ----- // ----- BEGIN Verilog modules for regular wires -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none
@ -121,6 +118,3 @@ end
endmodule endmodule
// ----- END Verilog module for and2_top_formal_verification_random_tb ----- // ----- END Verilog module for and2_top_formal_verification_random_tb -----
//----- Default net type -----
`default_nettype wire

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ------ Include defines: preproc flags ----- // ------ Include defines: preproc flags -----
`include "fpga_defines.v" `include "fpga_defines.v"

View File

@ -4,8 +4,5 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
`define ENABLE_TIMING 1 `define ENABLE_TIMING 1

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_clb ----- // ----- BEGIN Grid Verilog module: grid_clb -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_bottom ----- // ----- BEGIN Grid Verilog module: grid_io_bottom -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_left ----- // ----- BEGIN Grid Verilog module: grid_io_left -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_right ----- // ----- BEGIN Grid Verilog module: grid_io_right -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Grid Verilog module: grid_io_top ----- // ----- BEGIN Grid Verilog module: grid_io_top -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: clb ----- // ----- BEGIN Physical programmable logic block Verilog module: clb -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: fle ----- // ----- BEGIN Physical programmable logic block Verilog module: fle -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: fabric ----- // ----- BEGIN Physical programmable logic block Verilog module: fabric -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: frac_logic ----- // ----- BEGIN Physical programmable logic block Verilog module: frac_logic -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
// ----- BEGIN Physical programmable logic block Verilog module: io ----- // ----- BEGIN Physical programmable logic block Verilog module: io -----
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

View File

@ -4,9 +4,6 @@
// Author: Xifan TANG // Author: Xifan TANG
// Organization: University of Utah // Organization: University of Utah
//------------------------------------------- //-------------------------------------------
//----- Time scale -----
`timescale 1ns / 1ps
//----- Default net type ----- //----- Default net type -----
`default_nettype none `default_nettype none

Some files were not shown because too many files have changed in this diff Show More