2 // @TODO: Support more DFF types
3 select dff->type == $_DFF_P_
7 select input->type == \fp3_to_bit
8 index <SigSpec> port(input, \Y) === port(dff, \D)
13 select output->type == \bit_to_fp3
14 index <SigSpec> port(output, \A) === port(dff, \Q)
18 if (!input and !output)