diff options
author | gatecat <gatecat@ds0.me> | 2021-03-17 12:06:09 +0000 |
---|---|---|
committer | gatecat <gatecat@ds0.me> | 2021-03-17 13:58:04 +0000 |
commit | dd6d34f461910a120ac95c485fe34cca6485b95e (patch) | |
tree | 262dd91cfc969b492b99ce8fa7e3c94fd5d412be /tests | |
parent | 937392ad337c4f70569535e83f7016245addb2c7 (diff) | |
download | yosys-dd6d34f461910a120ac95c485fe34cca6485b95e.tar.gz yosys-dd6d34f461910a120ac95c485fe34cca6485b95e.tar.bz2 yosys-dd6d34f461910a120ac95c485fe34cca6485b95e.zip |
blackbox: Include whiteboxed modules
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to 'tests')
-rw-r--r-- | tests/various/blackbox_wb.ys | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/various/blackbox_wb.ys b/tests/various/blackbox_wb.ys new file mode 100644 index 000000000..f9c9bec06 --- /dev/null +++ b/tests/various/blackbox_wb.ys @@ -0,0 +1,14 @@ +read_verilog <<EOT +(* whitebox *) +module box(input a, output q); +assign q = ~a; +endmodule + +module top(input a, output q); +box box_i(.a(a), .q(q)); +endmodule +EOT +select -assert-count 1 =box/t:$not +blackbox =box +select -assert-count 0 =A:whitebox +select -assert-count 0 =box/t:$not |