### TODO: Not running equivalence checking because BRAM models does not exists
### currently. Checking instance counts instead.
-## Memory bits <= 18K; Data width <= 36; Address width <= 14: -> RAMB18E1
-#read_verilog ../common/blockram.v
-#chparam -set ADDRESS_WIDTH 10 -set DATA_WIDTH 1 sync_ram_sdp
-#synth_xilinx -top sync_ram_sdp
-#cd sync_ram_sdp
-#select -assert-count 1 t:RAMB18E1
-#
-#design -reset
-#read_verilog ../common/blockram.v
-#chparam -set ADDRESS_WIDTH 8 -set DATA_WIDTH 18 sync_ram_sdp
-#synth_xilinx -top sync_ram_sdp
-#cd sync_ram_sdp
-#select -assert-count 1 t:RAMB18E1
-#
-#design -reset
-#read_verilog ../common/blockram.v
-#chparam -set ADDRESS_WIDTH 14 -set DATA_WIDTH 1 sync_ram_sdp
-#synth_xilinx -top sync_ram_sdp
-#cd sync_ram_sdp
-#select -assert-count 1 t:RAMB18E1
-#
-#design -reset
-#read_verilog ../common/blockram.v
-#chparam -set ADDRESS_WIDTH 9 -set DATA_WIDTH 36 sync_ram_sdp
-#synth_xilinx -top sync_ram_sdp
-#cd sync_ram_sdp
-#select -assert-count 1 t:RAMB18E1
-#
-## Anything memory bits < 1024 -> LUTRAM
-#design -reset
-#read_verilog ../common/blockram.v
-#chparam -set ADDRESS_WIDTH 8 -set DATA_WIDTH 2 sync_ram_sdp
-#synth_xilinx -top sync_ram_sdp
-#cd sync_ram_sdp
-#select -assert-count 0 t:RAMB18E1
-#select -assert-count 4 t:RAM128X1D
-#
-## More than 18K bits, data width <= 36 (TDP), and address width from 10 to 15b (non-cascaded) -> RAMB36E1
-#design -reset
-#read_verilog ../common/blockram.v
-#chparam -set ADDRESS_WIDTH 10 -set DATA_WIDTH 36 sync_ram_sdp
-#synth_xilinx -top sync_ram_sdp
-#cd sync_ram_sdp
-#select -assert-count 1 t:RAMB36E1
-#
-#
-#### With parameters
+# Memory bits <= 18K; Data width <= 36; Address width <= 14: -> RAMB18E1
+read_verilog ../common/blockram.v
+chparam -set ADDRESS_WIDTH 10 -set DATA_WIDTH 1 sync_ram_sdp
+synth_xilinx -top sync_ram_sdp
+cd sync_ram_sdp
+select -assert-count 1 t:RAMB18E1
+
+design -reset
+read_verilog ../common/blockram.v
+chparam -set ADDRESS_WIDTH 8 -set DATA_WIDTH 18 sync_ram_sdp
+synth_xilinx -top sync_ram_sdp
+cd sync_ram_sdp
+select -assert-count 1 t:RAMB18E1
+
+design -reset
+read_verilog ../common/blockram.v
+chparam -set ADDRESS_WIDTH 14 -set DATA_WIDTH 1 sync_ram_sdp
+synth_xilinx -top sync_ram_sdp
+cd sync_ram_sdp
+select -assert-count 1 t:RAMB18E1
+
+design -reset
+read_verilog ../common/blockram.v
+chparam -set ADDRESS_WIDTH 9 -set DATA_WIDTH 36 sync_ram_sdp
+synth_xilinx -top sync_ram_sdp
+cd sync_ram_sdp
+select -assert-count 1 t:RAMB18E1
+
+# Anything memory bits < 1024 -> LUTRAM
+design -reset
+read_verilog ../common/blockram.v
+chparam -set ADDRESS_WIDTH 8 -set DATA_WIDTH 2 sync_ram_sdp
+synth_xilinx -top sync_ram_sdp
+cd sync_ram_sdp
+select -assert-count 0 t:RAMB18E1
+select -assert-count 4 t:RAM128X1D
+
+# More than 18K bits, data width <= 36 (TDP), and address width from 10 to 15b (non-cascaded) -> RAMB36E1
+design -reset
+read_verilog ../common/blockram.v
+chparam -set ADDRESS_WIDTH 10 -set DATA_WIDTH 36 sync_ram_sdp
+synth_xilinx -top sync_ram_sdp
+cd sync_ram_sdp
+select -assert-count 1 t:RAMB36E1
+
+
+### With parameters
design -reset
read_verilog ../common/blockram.v