aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-05-24 10:10:50 -0700
committerGitHub <noreply@github.com>2020-05-24 10:10:50 -0700
commit89ed34fe55fd6a70b51ff68439e68f9a9e0b9e0f (patch)
tree44b26469df3e400761bc0cb2948695c33d0ac7e8 /tests
parent227c3ff310e82516385b15d7cac905459f8bb09e (diff)
parent33b03ce904f6810437e27ca7a6df4fb1e966fc23 (diff)
downloadyosys-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.ys13
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