diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 10:18:10 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 10:18:10 -0700 |
| commit | cdbcd2efbdc7980aaad95744464c17553d782cd0 (patch) | |
| tree | 2c911e5c56f00545d217d246a94d12d4dd96a92a /tests/various | |
| parent | f374e0ab7e9a91fa86814b0f750660e92ed16ae6 (diff) | |
| parent | b77322034c9234a8c24c6f53ed028fe29737b6b4 (diff) | |
| download | yosys-cdbcd2efbdc7980aaad95744464c17553d782cd0.tar.gz yosys-cdbcd2efbdc7980aaad95744464c17553d782cd0.tar.bz2 yosys-cdbcd2efbdc7980aaad95744464c17553d782cd0.zip | |
Merge remote-tracking branch 'origin/eddie/fix1115' into xc7mux
Diffstat (limited to 'tests/various')
| -rw-r--r-- | tests/various/signext.ys | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/various/signext.ys b/tests/various/signext.ys new file mode 100644 index 000000000..ae44a0e06 --- /dev/null +++ b/tests/various/signext.ys @@ -0,0 +1,21 @@ + +read_verilog -formal <<EOT +module gate(input clk, output [1:0] o); +assign o = 1'bx; +endmodule +EOT + +proc + +## Equivalence checking + +read_verilog -formal <<EOT +module gold(input clk, output [1:0] o); +assign o = 2'bxx; +endmodule +EOT + +proc + +miter -equiv -flatten -make_assert -make_outputs gold gate miter +sat -verify -prove-asserts -show-ports -enable_undef miter |