dff2ff.ys

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 -assert techmap -map +/dff2ff.v