mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

write_aiger: Fix non-$_FF_ FFs

Browse source 
This broke while switching sby's formal flows to always use $_FF_'s.
This commit is contained in:
Jannis Harder 2022-08-18 13:56:22 +02:00
parent 1c36f4cc2c
commit 5142fb3b5c
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
tests/various/aiger_dff.ys Normal file
View file

@ -0,0 +1,7 @@
read_verilog -icells <<EOT
module top(input clk, d, output q);
\$_DFF_N_ dffn(.C(clk), .D(d), .Q(q));
endmodule
EOT
write_aiger -zinit -ywmap aiger_dff.out /dev/null
!grep -qF negedge aiger_dff.out