vivadovivadowarning
Use explicit defaults and verify behavior in simulation.
// Minimal educational reproduction for Vivado inferred latch warning module top; endmodule
Vivado inferred latch warning
Vivado inferred a latch from incomplete combinational logic.