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

cool_lovexia

回复 10# zhiyuan6


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

似水如烟

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

learnsure

回复 12# 似水如烟


   那应该怎么读file list呢？

liuhanic

请问最后怎么解决的？

金角大王G

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}

哦哦，谢谢~~

GinChou

可以通过下面这个语句完成读很多rtl操作
set filelist "../ft/rtl_files.f"#修改为.f的路径
set myFiles {}
for {set f [open $filelist r];} {[gets $f line]!=-1} {;} {
    lappend myFiles $line ; # get the names in filelist and turn into a list
}
close $f
# Import RTL verilog
read_verilog -container r -libname WORK -05 ${myFiles}#完成.v文件读入

lolina

你找一下当初做综合的时候怎么读的.v，迁移过来就行了，这跟fm没啥关系