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