diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-02-23 21:23:26 +0100 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-02-24 01:07:34 +0100 |
| commit | b05b98521c781fef0f9d900a53310cad9e1434b0 (patch) | |
| tree | b63a6620dc887d662ee1c7340937e2e96233e420 /tests/techmap/dff2ff.ys | |
| parent | cde73428b046a1a87339f8a069f59ce732794617 (diff) | |
| download | yosys-b05b98521c781fef0f9d900a53310cad9e1434b0.tar.gz yosys-b05b98521c781fef0f9d900a53310cad9e1434b0.tar.bz2 yosys-b05b98521c781fef0f9d900a53310cad9e1434b0.zip | |
Add tests for some common techmap files.
Diffstat (limited to 'tests/techmap/dff2ff.ys')
| -rw-r--r-- | tests/techmap/dff2ff.ys | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/techmap/dff2ff.ys b/tests/techmap/dff2ff.ys new file mode 100644 index 000000000..5adf14b07 --- /dev/null +++ b/tests/techmap/dff2ff.ys @@ -0,0 +1,16 @@ +read_verilog -icells << EOT +module top(...); + +input [1:0] D; +input C; +output [1:0] Q; + +always @(posedge C) + Q <= D; + +endmodule +EOT + +proc + +equiv_opt techmap -map +/dff2ff.v |