formality验证中有很多rtl文件在read时如何读入

cool_lovexia · 发表于 2013-11-7 10:52:48

回复 10# zhiyuan6

应该是可以的，就像IP一样。

似水如烟 · 发表于 2014-1-20 08:58:28

擦，弄个.v文件路径抓出来，弄个file list就OK了啊

learnsure · 发表于 2014-6-4 09:31:35

回复 12# 似水如烟

那应该怎么读file list呢？

liuhanic · 发表于 2016-5-2 15:15:16

请问最后怎么解决的？

金角大王G · 发表于 2020-11-25 16:51:21

cool_lovexia 发表于 2013-11-6 11:09
set all_rtl [ list xxx.v xxx.v xxx.v xxx.v ]
read_verilog -container r ${all_rtl}

哦哦，谢谢~~

[求助] formality验证中有很多rtl文件在read时如何读入