diff options
| author | clairexen <claire@symbioticeda.com> | 2020-08-20 16:21:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-20 16:21:58 +0200 |
| commit | 6a68b8ed542b89f32303c8036ae0b698d90f8c2b (patch) | |
| tree | 063d3bd0ed1de820216cbd7c2d8713e61fc0153d /tests/techmap | |
| parent | faf8e19511de07e38158ae68950876843ef803c5 (diff) | |
| parent | 54a0c083a111efaf5e8b486cb0a6725f4eb260df (diff) | |
| download | yosys-6a68b8ed542b89f32303c8036ae0b698d90f8c2b.tar.gz yosys-6a68b8ed542b89f32303c8036ae0b698d90f8c2b.tar.bz2 yosys-6a68b8ed542b89f32303c8036ae0b698d90f8c2b.zip | |
Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
Remove passes redundant with opt_dff
Diffstat (limited to 'tests/techmap')
| -rw-r--r-- | tests/techmap/dff2dffs.ys | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/tests/techmap/dff2dffs.ys b/tests/techmap/dff2dffs.ys deleted file mode 100644 index 105a89400..000000000 --- a/tests/techmap/dff2dffs.ys +++ /dev/null @@ -1,50 +0,0 @@ -read_verilog << EOT -module top(...); -input clk; -input d; -input sr; -output reg q0, q1, q2, q3, q4, q5; - -initial q0 = 1'b0; -initial q1 = 1'b0; -initial q2 = 1'b1; -initial q3 = 1'b1; -initial q4 = 1'bx; -initial q5 = 1'bx; - -always @(posedge clk) begin - q0 <= sr ? 1'b0 : d; - q1 <= sr ? 1'b1 : d; - q2 <= sr ? 1'b0 : d; - q3 <= sr ? 1'b1 : d; - q4 <= sr ? 1'b0 : d; - q5 <= sr ? 1'b1 : d; -end - -endmodule -EOT - -proc -simplemap -design -save ref - -dff2dffs -clean - -select -assert-count 1 w:q0 %x t:$_SDFF_PP0_ %i -select -assert-count 1 w:q1 %x t:$_SDFF_PP1_ %i -select -assert-count 1 w:q2 %x t:$_SDFF_PP0_ %i -select -assert-count 1 w:q3 %x t:$_SDFF_PP1_ %i -select -assert-count 1 w:q4 %x t:$_SDFF_PP0_ %i -select -assert-count 1 w:q5 %x t:$_SDFF_PP1_ %i - -design -load ref -dff2dffs -match-init -clean - -select -assert-count 1 w:q0 %x t:$_SDFF_PP0_ %i -select -assert-count 0 w:q1 %x t:$_SDFF_PP1_ %i -select -assert-count 0 w:q2 %x t:$_SDFF_PP0_ %i -select -assert-count 1 w:q3 %x t:$_SDFF_PP1_ %i -select -assert-count 1 w:q4 %x t:$_SDFF_PP0_ %i -select -assert-count 1 w:q5 %x t:$_SDFF_PP1_ %i |