diff options
author | Zachary Snow <zach@zachjs.com> | 2021-08-13 20:51:28 -0700 |
---|---|---|
committer | Zachary Snow <zachary.j.snow@gmail.com> | 2021-09-21 14:52:28 -0400 |
commit | d6fe6d4fb62be3bb5ec876f1f56356d757b65a41 (patch) | |
tree | 442c97fc61b18ed6ade75ad34417616ac2ae4baf /tests/verilog/net_types.ys | |
parent | 6b7267b849abf7688938e5e53ae7017e8588ff18 (diff) | |
download | yosys-d6fe6d4fb62be3bb5ec876f1f56356d757b65a41.tar.gz yosys-d6fe6d4fb62be3bb5ec876f1f56356d757b65a41.tar.bz2 yosys-d6fe6d4fb62be3bb5ec876f1f56356d757b65a41.zip |
sv: support wand and wor of data types
This enables the usage of declarations of wand or wor with a base type
of logic, integer, or a typename. Note that declarations of nets with
2-state base types is still permitted, in violation of the spec.
Diffstat (limited to 'tests/verilog/net_types.ys')
-rw-r--r-- | tests/verilog/net_types.ys | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/verilog/net_types.ys b/tests/verilog/net_types.ys new file mode 100644 index 000000000..9f75812ea --- /dev/null +++ b/tests/verilog/net_types.ys @@ -0,0 +1,5 @@ +read_verilog -sv net_types.sv +hierarchy +proc +opt -full +sat -verify -prove-asserts -show-all |