I'm using -v, -y,

From Verific Design Automation FAQ
Jump to: navigation, search

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 code:

Array analyzed_files ; // Array to store file-names
unsigned file_id = 1 ; // File-id starts from 1
char *file_name = 0 ;
while ((file_name = LineFile::GetFileNameFromId(file_id++))) {
         analyzed_files.InsertLast(file_name) ;
}
// Now analyzed_files array should contain all the files analyzed

How this works:

  1. Verific keeps file_name vs. file_id mapping.
  2. File_id starts from 1 and increases by 1.
  3. LineFile::GetFileNameFromId() returns 0 for non-existing id.
  4. The code keeps calling the API with increnemted file_id until getting a 0.

You may want to use LineFile::GetAbsFileNameFromId() API instead of LineFile::GetFileNameFromId() if you need absolute filenames (with full path).