建立时间和保持时间分别需要满足什么条件？它们的裕量（setup slack 和 hold slack）如何计算？

回答思路

1. 正确表述建立时间条件：数据在时钟沿前至少稳定 Tsetup
2. 正确表述保持时间条件：数据在时钟沿后至少稳定 Thold
3. 能列出裕量计算公式并说明各参数含义
4. 能指出违反时序条件会引发的故障类型