Notes on analysis - Revision history

Hoa at 17:53, 23 April 2025

2025-04-23T17:53:46Z

2023-11-01T04:53:25Z

2023-11-01T04:52:10Z

2023-10-20T19:13:07Z

2023-10-20T16:32:52Z

2023-02-24T18:23:23Z

2022-01-26T18:38:08Z

2021-10-15T16:21:24Z

2021-10-15T15:52:43Z

2021-10-15T15:52:28Z

← Older revision		Revision as of 17:53, 23 April 2025
Line 15:		Line 15:

	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 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.		The TCL command 'analyze' uses the API 'veri_file::AnalyzeMultipleFiles()'. In other words, it assumes a complete compilation unit for each execution.

@@ Line 14: / Line 14: @@
 * 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 also want to run veri_file::RemoveAllIncludeDirs() and veri_file::EndCompilationUnit().
+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.

@@ Line 14: / Line 14: @@
 * 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()', you’ll need to call 'veri_file::AnalyzeFull()' to complete the analysis before starting any other operation. Depending on the application, you may also want to run veri_file::RemoveAllIncludeDirs() and veri_file::EndCompilationUnit().
+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 also want to run veri_file::RemoveAllIncludeDirs() and 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.

@@ Line 14: / Line 14: @@
 * 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()'. you’ll need to call 'veri_file::AnalyzeFull()' to complete the analysis before starting any other operation. Depending on the application, you may also want to run veri_file::RemoveAllIncludeDirs() and veri_file::EndCompilationUnit().
+If you use 'veri_file::Analyze()' to analyze each file one by one, after all the calls to 'veri_file::Analyze()', you’ll need to call 'veri_file::AnalyzeFull()' to complete the analysis before starting any other operation. Depending on the application, you may also want to run veri_file::RemoveAllIncludeDirs() and 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.

@@ Line 14: / Line 14: @@
 * 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()'. you’ll need to call 'veri_file::AnalyzeFull()' to complete the analysis before starting any other operation.
+If you use 'veri_file::Analyze()' to analyze each file one by one, after all the calls to 'veri_file::Analyze()'. you’ll need to call 'veri_file::AnalyzeFull()' to complete the analysis before starting any other operation. Depending on the application, you may also want to run veri_file::RemoveAllIncludeDirs() and 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.

@@ Line 1: / Line 1: @@
 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?'''
+'''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 file, also:
+'veri_file::AnalyzeMultipleFiles()', besides analyzing each file, also:
 * opens and ends the compilation unit
@@ Line 14: / Line 14: @@
 * resets compile directives (e.g. `default_nettype, `timescale)
-If you use veri_file::Analyze() to analyze files one by one, you’ll need to call these APIs to complete the analysis before starting any other operations:
+If you use 'veri_file::Analyze()' to analyze each file one by one, after all the calls to 'veri_file::Analyze()'. you’ll need to call 'veri_file::AnalyzeFull()' to complete the analysis before starting any other operation.
-−
-* veri_file::ProcessUserLibraries()
-* 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.

@@ Line 11: / Line 11: @@
 * removes include directories
 * processes root module
-* undefines user-defined macros
+* undefines user-defined macros, including command-line macros
 * resets compile directives (e.g. `default_nettype, `timescale)