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