What do conditional assignments get inferred into?
Conditionals in a continuous assignment are specified through the "?:" operator. Conditionals get inferred into a multiplexor. For instance, following is the code for a simple multiplexor
assign wire1 = (sel==1'b1)? a : b;