formality 检查关于primitive定义模块报错

yanboliyuan · 发表于 2016-8-4 11:01:04

您需要登录才可以下载或查看，没有账号？注册

x

RTL代码中直接调用了库文件module，而该库文件模块中包含一个primitive定义的指针表模块，在对RTL代码和nerlist进行formality检查时报错，说是查找不到该primitive定义的模块，如何解决？

包含primitive定义模块的库文件已确保添加。

yanboliyuan · 发表于 2016-8-4 11:03:53

抱歉，是“该库文件模块中包含一个primitive定义的真值表模块”

杰克淡定 · 发表于 2016-8-4 13:41:29

回复 2# yanboliyuan

formality使用read_db读std cell的db文件，不是读std cell 的.v模型。

血溶伊剑 · 发表于 2016-8-5 10:48:57

楼上正解

[求助] formality 检查关于primitive定义模块报错