Difference between revisions of "How to get all Verilog files being analyzed"
From Verific Design Automation FAQ
m |
|||
(2 intermediate revisions by one other user not shown) | |||
Line 5: | Line 5: | ||
Array *GetAllAbsFileNames() { | Array *GetAllAbsFileNames() { | ||
Array *files = new Array() ; | Array *files = new Array() ; | ||
− | unsigned file_id = 1 ; | + | unsigned file_id = 2 ; // for Verific releases Sep18 and older, use "unsigned file_id = 1 ;" - See VIPER #14058 |
const char *file_name ; | const char *file_name ; | ||
while ((file_name=LineFile::GetAbsFileNameFromId(file_id++))!=0) { | while ((file_name=LineFile::GetAbsFileNameFromId(file_id++))!=0) { | ||
Line 14: | Line 14: | ||
} | } | ||
// Now "files" array should contain names of all the files analyzed | // Now "files" array should contain names of all the files analyzed | ||
− | if (! | + | if (!files->Size()) { delete files ; files = 0 ; } |
return files ; | return files ; | ||
} | } | ||
Line 31: | Line 31: | ||
exit (1) ; | exit (1) ; | ||
} | } | ||
− | my $file_id = 1; | + | my $file_id = 2; # for Verific releases Sep18 and older, use "my $file_id = 1;" - See VIPER #14058 |
# my $file_name=Verific::LineFile::GetAbsFileNameFromId($file_id); # for file with full path | # my $file_name=Verific::LineFile::GetAbsFileNameFromId($file_id); # for file with full path | ||
$file_name=Verific::LineFile::GetFileNameFromId($file_id); # for just filename | $file_name=Verific::LineFile::GetFileNameFromId($file_id); # for just filename | ||
Line 46: | Line 46: | ||
# File_id starts from 1 and increases by 1. | # File_id starts from 1 and increases by 1. | ||
# LineFile::GetAbsFileNameFromId()/GetFileNameFromId() returns 0 for non-existing id. | # LineFile::GetAbsFileNameFromId()/GetFileNameFromId() returns 0 for non-existing id. | ||
− | # The code keeps calling the API with | + | # The code keeps calling the API with incremented file_id until getting a 0. |
Latest revision as of 08:57, 20 October 2021
Q: I'm using -v, -y, .... After Verific is done with the analysis, how do I get a list of all the files being analyzed?
Use this C++:
Array *GetAllAbsFileNames() { Array *files = new Array() ; unsigned file_id = 2 ; // for Verific releases Sep18 and older, use "unsigned file_id = 1 ;" - See VIPER #14058 const char *file_name ; while ((file_name=LineFile::GetAbsFileNameFromId(file_id++))!=0) { // Instead of LineFile::GetAbsFileNameFromId(), the API LineFile::GetFileNameFromId() // can also be used if relative file name is required. // This is a file we processed: files->Insert(file_name) ; } // Now "files" array should contain names of all the files analyzed if (!files->Size()) { delete files ; files = 0 ; } return files ; }
Or this Perl:
my $topfile = "top.v"; # input filename my $stubfile = "stubs.v"; # filename for -v option my $dir = "dir"; # dir name for -y option # Verific::veri_file::AddYDir($dir); # -y option Verific::veri_file::AddVFile($stubfile); # -v option if (!Verific::veri_file::Analyze($topfile)) { exit (1) ; } if (!Verific::veri_file::AnalyzeFull()) { # IMPORTANT: need to call this to process -v, -y, .... exit (1) ; } my $file_id = 2; # for Verific releases Sep18 and older, use "my $file_id = 1;" - See VIPER #14058 # my $file_name=Verific::LineFile::GetAbsFileNameFromId($file_id); # for file with full path $file_name=Verific::LineFile::GetFileNameFromId($file_id); # for just filename while ($file_name ne "") { print "filename analyzed: $file_name\n"; $file_id = $file_id + 1; # $file_name=Verific::LineFile::GetAbsFileNameFromId($file_id); # for file with full path $file_name=Verific::LineFile::GetFileNameFromId($file_id); # for just filename }
How this works:
- Verific keeps file_name vs. file_id mapping.
- File_id starts from 1 and increases by 1.
- LineFile::GetAbsFileNameFromId()/GetFileNameFromId() returns 0 for non-existing id.
- The code keeps calling the API with incremented file_id until getting a 0.