diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-05-24 10:10:50 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-24 10:10:50 -0700 |
commit | 89ed34fe55fd6a70b51ff68439e68f9a9e0b9e0f (patch) | |
tree | 44b26469df3e400761bc0cb2948695c33d0ac7e8 /tests | |
parent | 227c3ff310e82516385b15d7cac905459f8bb09e (diff) | |
parent | 33b03ce904f6810437e27ca7a6df4fb1e966fc23 (diff) | |
download | yosys-89ed34fe55fd6a70b51ff68439e68f9a9e0b9e0f.tar.gz yosys-89ed34fe55fd6a70b51ff68439e68f9a9e0b9e0f.tar.bz2 yosys-89ed34fe55fd6a70b51ff68439e68f9a9e0b9e0f.zip |
Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanup
xaiger: do not derive cells
Diffstat (limited to 'tests')
-rw-r--r-- | tests/various/xaiger.ys | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/various/xaiger.ys b/tests/various/xaiger.ys new file mode 100644 index 000000000..f612d2e18 --- /dev/null +++ b/tests/various/xaiger.ys @@ -0,0 +1,13 @@ +read_verilog <<EOT +module top(input a, b, output c); +bb #(1) bb(); +endmodule + +module bb(input a, b, output c); +parameter p = 0; +assign c = a ^ b; +endmodule +EOT +blackbox bb +hierarchy +write_xaiger /dev/null |