写不好的SDC约束

#笔记

SDC约束中出现的坑

在做综合时，需要对模块内部的小cell进行特定的时序约束，因此需要手写sdc文件，但是在这其中出现了一些自己没想到的情况，记录一下。

这个模块很简单，就是一个逻辑结构再加上一个MUX单元，如下图所示：

本意是对每级逻辑之间的延迟进行约束，使其固定在一个合理的范围内。

01

因此首先就写了个最简单的版本：

set_max_delay 0.1 -from [get_pins MUX2/In0] -to [get_pins MUX2/In1]

这个设置在综合的时候，是没有问题的，查看综合的log会显示1，因此理所当然的认为这个设置是成功了。

但是在综合完成以后，我在check timing的时候，发现report_timing -from [get_pins MUX2/In0] -to [get_pins MUX2/In1] 会显示no paths found。

这个其实比较好理解，因为我是想约束logic1/o到logic2/o，但是net约束不能往回约束，因此MUX2/In0和MUX2/In1直接确实没有path，因此这个约束和本意是有区别的。

02

进化版

在理解了上述问题之后，我就将start point往前移动了一点点。

set_max_delay 0.1 -from [get_pins logic1/o] -to [get_pins MUX2/In1]

首先，这个在综合的时候还是可以正常pass的，很不幸的是，这个在check timing的时候还是no paths found。

03

进化版+1

问题是我在check design的时候，明明就存在路径呀，因此我想它是不是忽略了什么东西，因此再添加了-through。

set_max_delay 0.1 -from [get_pins logic1/o] -through [get_pins logic2/o] -to [get_pins MUX2/In1]

很不幸，这个约束也是有问题的。

04

能用版

解决方案是：

set_max_delay 0.1 -from [get_pins logic1/o] -to [get_pins logic2/o]

这个在report_timing的时候就可以看到start point是logic1/o，end point是logic2/o的timing report了。

我到现在都不是很能理解，04可以但是03,02的解决方案就不行...

这篇文章的意思是，我们在设置了sdc以后，综合不出现error不代表约束就真正约束好了，还是需要各种check timing，特别需要注意这种根本就没约上的情况。

此外，希望有懂sdc的小伙伴能帮我解决这个疑惑，后台留言即可，十分感谢！