请教个关于单元库的问题。

自己用smart silicon做了个单元库。综合后formality能过。可用confirmal就过不了。即使最简单的也不行。trace都说是udp的问题。拿标准单元也没问题。请问我是生成库的时候有啥地方没设置吗？

silicon smart不是做时序信息的么？ 看看你的代码模型是否正确。

silicon smart生成的flip flop中定义了两个dff的udp，一个q,一个是QN。所以造成比不过。请问这是怎么回事？标准单元库里面都是只有一个dff的udp。这个需要手工合并吗？