So basically there is udp in verilog for which we define tables. This table is maintained in memory in code.
Eg.
primitive abc(q,d,clk,not); input d, clk, not; output q; reg q; table |0 1 ? : ? : 0;| |1 1 ? : ? : 1;| |0 * ? : 0 : 0;| |1 * ? : 1 : 1;| |* 0 ? : ? : -;| |? ? * : ? : x;| endtable endprimitive My question is can we predict which input in udp is clock just from the transition table (NOTE : question only for sequential udp)?