有关综合的说法，以下哪个选项是错误的?

正确答案是B。选项A正确：相同的RTL代码在不同约束或优化策略下，综合工具可能生成不同结构的网表，但功能等价。选项B错误：时序逻辑（如always @(posedge clk)）中if-else缺少else分支不会生成锁存器，而是综合成带使能端的D触发器，在条件不满足时保持原值；只有组合逻辑中缺少else才会生成锁存器。选项C错误：casez在综合工具中通常是可综合的，用于实现优先级编码器，但需注意综合结果与仿真行为的一致性（如无关项匹配顺序）。选项D正确：综合后的门级网表可用于功能仿真（后仿真），验证综合后逻辑功能是否正确。因此，B为错误选项。