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

问题描述

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

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

解决/修复方法

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

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

编辑 重设标签(回车键确认) 标为违禁 关闭 合并 删除

提问于 2018-08-18 20:24:05 +0800

这个帖子被标记为一个社区wiki

这个帖子是一个wiki(维基). 任何一个积分 >500的人都可以完善它