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

cool_lovexia

set  all_rtl  [ list  xxx.v   xxx.v   xxx.v   xxx.v ]
read_verilog  -container  r   ${all_rtl}

cool_lovexia

回复 6# zhiyuan6


   search_path 可以用来寻找lib/db ,但是能不能用来寻找网表就不清楚了，估计是不能。你最好自己写一个tcl脚本把这些网表路径抓出来。

cool_lovexia

回复 6# zhiyuan6


   最简单直接的办法，谁做综合，让他给你一个rtl list 就ok了

cool_lovexia

回复 10# zhiyuan6


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