下列哪些是必须的，在Post-Layout时序仿真时?

正确选项：A、C。 Post-Layout时序仿真（后布局仿真）是在芯片完成布局布线之后进行的仿真，目的是验证电路在实际物理连线延时下的时序行为是否满足设计规范。因此，其必要的输入文件包括： - A. Post-Layout网表：布局布线后生成的网表，包含实际互联信息，反映了物理版图中的逻辑连接和器件实例。 - C. 标准延时格式文件（SDF）：包含布局布线后提取的路径延时、单元延时、建立/保持时间约束等时序信息，是驱动仿真器进行带时序仿真的核心文件。 B. 综合网表：是逻辑综合后（布局布线前）的网表，不含物理布局布线信息，无法反映真实走线延时，故不是后布局仿真的必要文件。D. RTL代码：是行为级或寄存器传输级描述，用于功能仿真和逻辑综合，但后布局仿真的对象是物理网表，RTL代码本身不直接参与时序仿真（除非作为测试激励，但题目问的是“必须的”输入文件，激励文件不属于此处范畴）。 综上，后布局时序仿真必须使用布局布线后网表和SDF文件，因此A和C是正确选项。