下列属于芯片流片前的检查有：

正确选项为A、B、C。芯片流片前必须完成物理验证，确保版图符合制造要求并避免失效风险。 A、设计规则检查（DRC）：检查版图几何尺寸、间距、宽度等是否满足晶圆厂工艺规则，避免制造后短路、断路等问题。 B、天线效应检查（Antenna Rule Check）：检测长金属线在制造过程中积累电荷可能击穿栅氧的现象，通过插入二极管或改变布线来修复。 C、电路与版图一致性检查（LVS）：验证版图提取的网表与原始电路网表在器件、连接和参数上完全一致，保证物理实现功能正确。 D、形式验证（Formal Verification）：属于功能验证，通常用于RTL与综合后网表或布局布线后网表的逻辑等效性检查，也常在流片前执行以保证时序与功能正确；但题目所问“芯片流片前的检查”在工程实践中特指物理验证（DRC、LVS、Antenna等），而形式验证属于逻辑验证范畴，因此不是物理检查的典型代表。故在常见考题中，D不被选入。本题正确答案为A、B、C。