mirror of
https://github.com/YosysHQ/yosys
synced 2025-08-27 05:26:02 +00:00
Add tests for some common techmap files.
This commit is contained in:
parent
cde73428b0
commit
b05b98521c
3 changed files with 50 additions and 0 deletions
16
tests/techmap/dff2ff.ys
Normal file
16
tests/techmap/dff2ff.ys
Normal file
|
@ -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
|
Loading…
Add table
Add a link
Reference in a new issue