summaryrefslogtreecommitdiff
path: root/rtl/wb2axip/axi2axilsub.v
diff options
context:
space:
mode:
Diffstat (limited to 'rtl/wb2axip/axi2axilsub.v')
-rw-r--r--rtl/wb2axip/axi2axilsub.v4
1 files changed, 2 insertions, 2 deletions
diff --git a/rtl/wb2axip/axi2axilsub.v b/rtl/wb2axip/axi2axilsub.v
index 694dc58..33dcc39 100644
--- a/rtl/wb2axip/axi2axilsub.v
+++ b/rtl/wb2axip/axi2axilsub.v
@@ -49,7 +49,7 @@
//
////////////////////////////////////////////////////////////////////////////////
//
-`default_nettype none
+//`default_nettype none
//
`ifdef FORMAL
`ifdef BMC
@@ -645,7 +645,7 @@ module axi2axilsub #(
// m_awvalid
// {{{
- initial m_axi_awvalid = 0;
+ //initial m_axi_awvalid = 0;
always @(posedge S_AXI_ACLK)
if (!S_AXI_ARESETN)
m_awvalid <= 0;