Difference between revisions of "Notes on analysis"

From Verific Design Automation FAQ
Jump to: navigation, search
(Created page with "This is a place holder for notes regarding analysis of System Verilog designs. Can I use veri_file::Analyze to read SV input files one by one? Yes. But if you have multiple...")
 
 
(15 intermediate revisions by the same user not shown)
Line 1: Line 1:
This is a place holder for notes regarding analysis of System Verilog designs.
+
First, please read this article: [[Defined macros become undefined - MFCU vs SFCU]].
  
Can I use veri_file::Analyze to read SV input files one by one?
+
'''Q: Can I use 'veri_file::Analyze()' to read SystemVerilog input files one by one, all of them belonging to one compilation unit?'''
 
   
 
   
Yes. But if you have multiple files, it’s better to use veri_file::AnalyzeMultipleFiles().
+
Yes. But if you have multiple files, it’s better to use 'veri_file::AnalyzeMultipleFiles()'.
 
   
 
   
veri_file::AnalyzeMultipleFiles(), besides analyzing each files, also:
+
'veri_file::AnalyzeMultipleFiles()', besides analyzing each file, also:
 
   
 
   
- opens and ends the compilation unit
+
* opens and ends the compilation unit
- processes –v and –y options
+
* processes –v and –y options
- removes include directories
+
* removes include directories
- processes root module
+
* processes root module
- undefines user-defined macros
+
* undefines user-defined macros, including command-line macros
- resets compile directives (e.g. `default_nettype, `timescale)
+
* resets compile directives (e.g. `default_nettype, `timescale)
 
   
 
   
If you use veri_file::Analyze() to analyze files one by one. After parsing all the files and before elaboration, you’ll need to call:
+
If you use 'veri_file::Analyze()' to analyze each file one by one, after all the calls to 'veri_file::Analyze(), depending on the application, you may want to run veri_file::RemoveAllIncludeDirs() and veri_file::EndCompilationUnit().
+
 
- veri_file::ProcessUserLibraries()
+
If the application calls any elaboration API (e.g. veri_file::Elaborate()), there is no need to call veri_file::RemoveAllIncludeDirs() and veri_file::EndCompilationUnit() because the elaboration API will call those APIs before actual elaboration.
- veri_file::RemoveAllIncludeDirs()
+
 
- veri_file::EndCompilationUnit ()
+
The TCL command 'analyze' uses the API 'veri_file::AnalyzeMultipleFiles()'. In other words, it assumes a complete compilation unit for each execution.

Latest revision as of 21:53, 31 October 2023

First, please read this article: Defined macros become undefined - MFCU vs SFCU.

Q: Can I use 'veri_file::Analyze()' to read SystemVerilog input files one by one, all of them belonging to one compilation unit?

Yes. But if you have multiple files, it’s better to use 'veri_file::AnalyzeMultipleFiles()'.

'veri_file::AnalyzeMultipleFiles()', besides analyzing each file, also:

  • opens and ends the compilation unit
  • processes –v and –y options
  • removes include directories
  • processes root module
  • undefines user-defined macros, including command-line macros
  • resets compile directives (e.g. `default_nettype, `timescale)

If you use 'veri_file::Analyze()' to analyze each file one by one, after all the calls to 'veri_file::Analyze(), depending on the application, you may want to run veri_file::RemoveAllIncludeDirs() and veri_file::EndCompilationUnit().

If the application calls any elaboration API (e.g. veri_file::Elaborate()), there is no need to call veri_file::RemoveAllIncludeDirs() and veri_file::EndCompilationUnit() because the elaboration API will call those APIs before actual elaboration.

The TCL command 'analyze' uses the API 'veri_file::AnalyzeMultipleFiles()'. In other words, it assumes a complete compilation unit for each execution.