diff --git a/CHANGELOG.md b/CHANGELOG.md index 8143e13..004aebb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -3,6 +3,7 @@ ### Bug Fixes * Fixed `--write path/to/dir/` with directives like `` `default_nettype `` +* Fixed `` `resetall `` not resetting the `` `default_nettype `` ### Other Enhancements diff --git a/src/Convert/ImplicitNet.hs b/src/Convert/ImplicitNet.hs index 73e68ea..62e215f 100644 --- a/src/Convert/ImplicitNet.hs +++ b/src/Convert/ImplicitNet.hs @@ -27,9 +27,12 @@ traverseDescription defaultNetType (PackageItem (Directive str)) = where prefix = "`default_nettype " defaultNetType' = - if isPrefixOf prefix str - then parseDefaultNetType $ drop (length prefix) str - else defaultNetType + if isPrefixOf prefix str then + parseDefaultNetType $ drop (length prefix) str + else if str == "`resetall" then + Just TWire + else + defaultNetType traverseDescription defaultNetType description = (defaultNetType, partScoper traverseDeclM (traverseModuleItemM defaultNetType) diff --git a/test/core/implicit_net_reset.sv b/test/core/implicit_net_reset.sv new file mode 100644 index 0000000..54b644e --- /dev/null +++ b/test/core/implicit_net_reset.sv @@ -0,0 +1,6 @@ +`default_nettype none +`resetall +module top; + assign y = 1; + assign x = ~y; +endmodule diff --git a/test/core/implicit_net_reset.v b/test/core/implicit_net_reset.v new file mode 100644 index 0000000..fb4035b --- /dev/null +++ b/test/core/implicit_net_reset.v @@ -0,0 +1,5 @@ +module top; + wire x, y; + assign y = 1; + assign x = ~y; +endmodule