14.x时序分析 – VALID关键字不适用于OFFSET IN AFTER约束

问题描述

当VALID关键字应用于OFFSET IN AFTER约束行时，应执行设置检查和保持检查。

执行时序分析时，设置检查要求与预期相同，保持检查要求应为（Tvalid- Tsetup_requirement）。在时序报告中，它具有相同的建立和保持值，这是不正确的。

解决/修复方法

时序分析器错误地计算保持检查要求。

目前，您可以使用约束OFFSET IN VALID BEFORE，它可以正确执行设置和保持检查。请适当修改相关约束。