下面关于 always语句的使用描述正确的是

正确选项：A、B、C、D。 解析： A选项正确：在组合逻辑always模块中，使用阻塞赋值（=）可以保证赋值立即执行，避免产生不必要的时序依赖，同时有利于减少仿真与综合之间的行为差异。 B选项正确：在时序逻辑always模块中（如时钟触发），推荐使用非阻塞赋值（<=），以模拟寄存器传输特性，避免产生仿真时的竞争风险，并符合硬件行为。 C选项正确：组合逻辑的敏感信号列表应包含所有输入信号，若缺失某个输入，当该输入变化时，always块不会重新计算，导致仿真与综合不一致，可能产生隐含锁存器（latch）。 D选项正确：敏感信号列表中不应包含冗余信号（如组合逻辑中误用posedge/negedge，或包含与电路无关的信号），否则会导致仿真行为与综合结果不一致，或增加不必要的仿真事件，降低仿真效率。 综上，所有选项都是正确的always语句使用规范，故全选。