diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-04-22 09:32:13 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-22 09:32:13 -0700 |
commit | 28623f19eebf4abe7d956087f681a988f8733f95 (patch) | |
tree | 5162f917f7f652f8660bc9c52a9ff4d16b7001f9 /tests | |
parent | c32b4bded582e121056a497131bf617684448cc4 (diff) | |
parent | 9eace8f36032665394e582a60fc58be0a7c9303b (diff) | |
download | yosys-28623f19eebf4abe7d956087f681a988f8733f95.tar.gz yosys-28623f19eebf4abe7d956087f681a988f8733f95.tar.bz2 yosys-28623f19eebf4abe7d956087f681a988f8733f95.zip |
Merge pull request #1950 from YosysHQ/eddie/design_import
design: -import to not count black/white-boxes as candidates for top
Diffstat (limited to 'tests')
-rw-r--r-- | tests/various/design.ys | 18 | ||||
-rw-r--r-- | tests/various/design1.ys | 9 |
2 files changed, 22 insertions, 5 deletions
diff --git a/tests/various/design.ys b/tests/various/design.ys index f13ad8171..a64430dc7 100644 --- a/tests/various/design.ys +++ b/tests/various/design.ys @@ -1,9 +1,17 @@ read_verilog <<EOT +(* blackbox *) +module bb(input i, output o); +endmodule + +(* whitebox *) +module wb(input i, output o); +assign o = ~i; +endmodule + module top(input i, output o); -assign o = i; +assign o = ~i; endmodule EOT -design -stash foo -design -delete foo -logger -expect error "No saved design 'foo' found!" 1 -design -delete foo + +design -stash gate +design -import gate -as gate diff --git a/tests/various/design1.ys b/tests/various/design1.ys new file mode 100644 index 000000000..f13ad8171 --- /dev/null +++ b/tests/various/design1.ys @@ -0,0 +1,9 @@ +read_verilog <<EOT +module top(input i, output o); +assign o = i; +endmodule +EOT +design -stash foo +design -delete foo +logger -expect error "No saved design 'foo' found!" 1 +design -delete foo |