gateware: Minor syntax fixes
Theses syntax error are ignored by yosys but trying synopsys, it is more
strict, so fix them. Right thing to do anyway ...
Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
diff --git a/gateware/common/rtl/soc_base.v b/gateware/common/rtl/soc_base.v
index 7c5c407..34fdc06 100644
--- a/gateware/common/rtl/soc_base.v
+++ b/gateware/common/rtl/soc_base.v
@@ -261,7 +261,7 @@
// Boot memory - 1k
soc_bram #(
.AW(8),
- .INIT_FILE("boot.hex"),
+ .INIT_FILE("boot.hex")
) bram_I (
.addr (bram_addr),
.rdata(bram_rdata),
diff --git a/gateware/e1-tracer/rtl/sysmgr.v b/gateware/e1-tracer/rtl/sysmgr.v
index b5dbb3c..643945e 100644
--- a/gateware/e1-tracer/rtl/sysmgr.v
+++ b/gateware/e1-tracer/rtl/sysmgr.v
@@ -37,7 +37,7 @@
.PIN_TYPE(6'b000001)
) gb_in (
.PACKAGE_PIN(clk_in),
- .GLOBAL_BUFFER_OUTPUT(clk_12m_i),
+ .GLOBAL_BUFFER_OUTPUT(clk_12m_i)
);
// PLL instance
diff --git a/gateware/icE1usb-proto/rtl/sysmgr.v b/gateware/icE1usb-proto/rtl/sysmgr.v
index 6ae9721..5352d01 100644
--- a/gateware/icE1usb-proto/rtl/sysmgr.v
+++ b/gateware/icE1usb-proto/rtl/sysmgr.v
@@ -33,10 +33,10 @@
// Global input buffer for 30.72 MHz clock
SB_GB_IO #(
- .PIN_TYPE(6'b000001),
+ .PIN_TYPE(6'b000001)
) gb_in (
.PACKAGE_PIN(clk_in),
- .GLOBAL_BUFFER_OUTPUT(clk_30m72_i),
+ .GLOBAL_BUFFER_OUTPUT(clk_30m72_i)
);
// PLL instance
@@ -50,7 +50,7 @@
.FDA_FEEDBACK(4'b0000),
.SHIFTREG_DIV_MODE(2'b00),
.PLLOUT_SELECT("GENCLK"),
- .ENABLE_ICEGATE(1'b0),
+ .ENABLE_ICEGATE(1'b0)
) pll_I (
.REFERENCECLK(clk_30m72_i),
.PLLOUTCORE(),
diff --git a/gateware/icE1usb/rtl/led_blinker.v b/gateware/icE1usb/rtl/led_blinker.v
index 3f9f090..7785ff8 100644
--- a/gateware/icE1usb/rtl/led_blinker.v
+++ b/gateware/icE1usb/rtl/led_blinker.v
@@ -75,7 +75,7 @@
// Per-led
always @(*)
- begin : led_state
+ begin : led_state_proc
integer i;
for (i=0; i<4; i=i+1)
led[i] = led_state[2*i+1] ? (led_state[2*i] ? blink_fast : blink_slow) : led_state[2*i];
diff --git a/gateware/icE1usb/rtl/sysmgr.v b/gateware/icE1usb/rtl/sysmgr.v
index 6ae9721..5352d01 100644
--- a/gateware/icE1usb/rtl/sysmgr.v
+++ b/gateware/icE1usb/rtl/sysmgr.v
@@ -33,10 +33,10 @@
// Global input buffer for 30.72 MHz clock
SB_GB_IO #(
- .PIN_TYPE(6'b000001),
+ .PIN_TYPE(6'b000001)
) gb_in (
.PACKAGE_PIN(clk_in),
- .GLOBAL_BUFFER_OUTPUT(clk_30m72_i),
+ .GLOBAL_BUFFER_OUTPUT(clk_30m72_i)
);
// PLL instance
@@ -50,7 +50,7 @@
.FDA_FEEDBACK(4'b0000),
.SHIFTREG_DIV_MODE(2'b00),
.PLLOUT_SELECT("GENCLK"),
- .ENABLE_ICEGATE(1'b0),
+ .ENABLE_ICEGATE(1'b0)
) pll_I (
.REFERENCECLK(clk_30m72_i),
.PLLOUTCORE(),