今天,聊聊后仿的sdf文件信息来源。
sdf是延时文件,用来进行时序分析以及综合后仿真、后仿真的,不是时序约束文件。
后仿用的时序信息通常包括延迟信息、时序检查时间。
一般都用标准的SDF(standard delay format)格式的文件提供。
在SDF中有两种类型的延迟信息。一种是连线的延迟信息;另一种是单元的延迟信息。
连线的延迟信息不多说,单元的延迟通常是根据单元时序库(timing library)中定义的timing arc,从电路图形中间接提取计算出来的,而这些timing arc,要和仿真模型中(specify block)定义的io path要一一对应,在反标过程中才能标注成功。
那为什么叫反标呢?因为通常设计电路都是根据事先定义好的设计规格,而设计规格中就包含了时序的规格(例如SDC)。所以当电路设计好了,时序信息也确定了,把这些时序信息标注到电路的网表中,实际上是一个回溯的过程,所以叫反向标注。SDF实际上也可以提供类似SDC一样的前向标注的时序信息,指导电路的设计实现。
另一方面,基础单元的仿真模型中默认也是有时序信息的,通常是单位时间或者零时间。所以用电路的真实时序信