[问答]

做lec形式验证已经把flash模块设置为黑盒，并创建了empty模块为何还会报在吃综合吐出来的.v文件？

825

问答对人有帮助，内容完整，我也想知道答案 0 在做lec形式验证的时候，已经把 flash模块设置为黑盒了，并且创建了一个empty模块，为何还会报在吃综合吐出来的.v文件时，报该模块referenced but not defined,我已经吃了该模块，请高手指点？ 0
2021-6-23 08:37:24　　评论淘帖0 邀请回答您可以邀请以下用户，快速回答问题 × 凌晨3点睡该类别下有 4 个回答。邀请回答 liutiefu 该类别下有 3 个回答。邀请回答 nhonglan 该类别下有 2 个回答。邀请回答 lksas 该类别下有 2 个回答。邀请回答 76r456546 该类别下有 2 个回答。邀请回答 wang21cj 该类别下有 2 个回答。邀请回答 iiiegsd 该类别下有 2 个回答。邀请回答任凭风吹该类别下有 2 个回答。邀请回答茶缸子该类别下有 2 个回答。邀请回答 1123127317 该类别下有 2 个回答。邀请回答 60user101 该类别下有 2 个回答。邀请回答硬件工程师1 该类别下有 2 个回答。邀请回答 qjqb 该类别下有 2 个回答。邀请回答 ggfvxv 该类别下有 2 个回答。邀请回答 HTSX 该类别下有 2 个回答。邀请回答风尚男人该类别下有 2 个回答。邀请回答 youyoulan 该类别下有 2 个回答。邀请回答 hsdfaz 该类别下有 2 个回答。邀请回答 yvochen 该类别下有 2 个回答。邀请回答 huangdajiang 该类别下有 2 个回答。邀请回答举报小峰相关推荐 • 怎么解决Conformal做RTL和netlist的形式验证时综合优化的电路也会报不相等？ 21572 • 在cmd文件中，可以把连续的Flash模块组合为一个整体的区间吗? 1273 • 使用命令提示符时找不到内存模块是为什么？ 1839 • 以计数器IP核为例了解IP使用流程 2578 • U-boot Bootloader未加载ADLINK LEC-IMX8MP的原因？ 363 • 为ESP8266编码/编译，编译器工作，但不创建BIN文件怎么解决？ 180 • Conformal和formality做形式验证svf文件问题 20054 • xilinx EDF已经综合过的网表文件怎样添加到Vivado工程中? 14930 • 如何设置一个路径创建文件并写入数据？ 2137 • 关于qutartus中bdf文件的问题，求解！ 5524