H
heartfree
Guest
我对一些问题的形式(与门的RTL(区网表)需要你的帮助。周围的设计是200万门数。谢谢。
1。如何使用算术发电机?
我有一些在我的RTL,如乘数:
分配ç = 1 * b;
2。我用set_svf default.svf“的剧本,但在做”匹配“,形式给我一个警告- ”警告:无法处理对象(拧)中引用的SVF台(FM - 340)“,其实比赛结束后,所有比较点匹配除了一些时钟门控单元(我已成立“verification_clock_gate_hold_mode”的话)。
当我报告,数据路径“,也有一些无可匹敌的数据通路模块(所有这些楼宇在乘数在他们的RTL像阿* b)的无与伦比的点;
我有点疑惑这些警告。你给我帮助?
谢谢
1。如何使用算术发电机?
我有一些在我的RTL,如乘数:
分配ç = 1 * b;
2。我用set_svf default.svf“的剧本,但在做”匹配“,形式给我一个警告- ”警告:无法处理对象(拧)中引用的SVF台(FM - 340)“,其实比赛结束后,所有比较点匹配除了一些时钟门控单元(我已成立“verification_clock_gate_hold_mode”的话)。
当我报告,数据路径“,也有一些无可匹敌的数据通路模块(所有这些楼宇在乘数在他们的RTL像阿* b)的无与伦比的点;
我有点疑惑这些警告。你给我帮助?
谢谢