什么是功能验证目的是什么功能验证是保证设计实现行为和规格文档一致。目的是提前发现 RTL 功能 bug保证芯片流片前功能完备提升交付质量降低流片风险与成本。建立时间 保持时间建立时间 Setup时钟沿到来前数据必须提前稳定的最小时间。保持时间 Hold时钟沿到来后数据必须继续保持稳定的最小时间。亚稳态原因原因触发器采样时输入信号不满足建立 / 保持时间进入不确定稳态。常见场景跨时钟域 CDC。解决办法单比特两级 DFF 打两拍同步多比特异步 FIFO、格雷码同步避免毛刺、约束加固、减少跨域路径。同步电路 VS 异步电路同步所有触发器共用同一时钟只在时钟上升沿生效时序可控、易收敛无亚稳态。异步跨时钟 / 无统一时钟复位随时生效不用等时钟上电快易产生亚稳态、时序复杂、验证难度大。