LineFile data from input files - Revision history

Hoa at 17:11, 6 March 2025

2025-03-06T17:11:36Z

Hoa at 00:23, 1 September 2021

2021-09-01T00:23:37Z

Hoa at 17:24, 6 August 2021

2021-08-06T17:24:36Z

Hoa at 16:18, 6 August 2021

2021-08-06T16:18:26Z

Vince at 23:31, 7 October 2020

2020-10-07T23:31:17Z

Hoa at 22:45, 7 October 2020

2020-10-07T22:45:03Z

Hoa: Created page with "Verific uses the 'LineFile' manager to preserve line/file origination information from HDL source files. This info is annotated on all objects in parse trees and netlist datab..."

2020-10-01T22:15:40Z

Created page with "Verific uses the 'LineFile' manager to preserve line/file origination information from HDL source files. This info is annotated on all objects in parse trees and netlist datab..."

New page

Verific uses the 'LineFile' manager to preserve line/file origination information from HDL source files. This info is annotated on all objects in parse trees and netlist databases, as well as used in the message handler, so that from any object that Verific creates from a RTL design, information is available as to where it came from in the original user RTL designs.

We have the following compile flags:

# VERIFIC_LINEFILE_INCLUDES_COLUMNS
#: We define a class ColLineFile to have both the starting and ending locations including column info.
#: Valid values of NUM_LINE_BITS, NUM_COL_BITS and NUM_FILE_BITS are 1 to 31 bits.
#: Use as per your requirements. Making (NUM_LINE_BITS + NUM_COL_BITS) <=32 consumes less memory.
#: You can use 31 as NUM_FILE_BITS without any extra memory overhead.
# VERIFIC_LARGE_LINEFILE
#: We still define the class ColLineFile, but it has only a single starting or ending location and does not include column info.
#: Valid values of NUM_LINE_BITS and NUM_FILE_BITS are 1 to 31 bits.
#: Use as per your requirements. Making (NUM_LINE_BITS + NUM_FILE_BITS) <=32 bit consumes less memory.
# VERIFIC_LARGE_LINEFILE_FOR_64 (only for 64 bit windows since long is 4 byte there)
#: Same as (2) above but without the class and only for 64 bit windows systems.

These compile flags are mutually exclusive.
You should have only one of them defined according to your requirements.

If you do not define any of the above compile flags, by default we use the following:

* On a 64 bit (non-windows) system, line number and file-id are encoded into a 64 bit unsigned long. You need to set (NUM_LINE_BITS + NUM_FILE_BITS) <= 64

* On a 32 bit (and 64 bit windows) system, line number and file-id are encoded into a 32 bit unsigned long. You need to set (NUM_LINE_BITS + NUM_FILE_BITS) <= 32

If you do not need column numbers or both starting and ending locations, you can turn off column info.

If the number of files overflows NUM_FILE_BITS, we do issue "WARNING: number of file names exceeded maximum of %d" for too many files. However, producing the same warning for lines/columns will produce too many of them.

@@ Line 14: / Line 14: @@
 # VERIFIC_LARGE_LINEFILE_FOR_64 (only for 64-bit Windows since long is 4 bytes there)
 #: Same as (2) above but without the class and only for 64-bit Windows systems.
-These compile flags are mutually exclusive.
+The compile flags (1), (2), and (3) above are mutually exclusive. You should have only one of them defined according to your requirements.
 You should have only one of them defined according to your requirements.
-If you do not define any of the above compile flags, Verific uses the following by default :
+If you do not define any of the above compile flags, Verific uses the following by default:
 * On a 64-bit (non-Windows) system, line number and file-id are encoded into a 64-bit unsigned long. You need to set (NUM_LINE_BITS + NUM_FILE_BITS) <= 64

@@ Line 8: / Line 8: @@
 #: Use as per your requirements. Making (NUM_LINE_BITS + NUM_COL_BITS) <= 32 will consume less memory.
 #: You can use 31 as NUM_FILE_BITS without any extra memory overhead.
 # VERIFIC_LARGE_LINEFILE
 #: We still define the class ColLineFile, but it has only a single starting or ending location and does not include column info.

@@ Line 3: / Line 3: @@
 We have the following compile flags (see util/LineFile.h and util/VerificSystem.h) :
 # VERIFIC_LINEFILE_INCLUDES_COLUMNS
 #: We define a class ColLineFile to have both the starting and ending locations including column info.

@@ Line 1: / Line 1: @@
-Verific uses the 'LineFile' manager to preserve line/file origination information from HDL source files. This info is annotated on all objects in parse trees and netlist databases, as well as used in the message handler, so that from any object that Verific creates from a RTL design, information is available as to where it came from in the original user RTL designs.
+Verific uses the 'LineFile' manager to preserve line/file origination information from HDL source files. This info is annotated on all objects in parse trees and netlist databases, as well as used in the message handler, so that from any object that Verific creates from an RTL design, information is available as to where it came from in the user's original RTL design.
-We have the following compile flags (see util/LineFile.h):
+We have the following compile flags (see util/LineFile.h and util/VerificSystem.h) :
 # VERIFIC_LINEFILE_INCLUDES_COLUMNS
 #: We define a class ColLineFile to have both the starting and ending locations including column info.
 #: Valid values of NUM_LINE_BITS, NUM_COL_BITS and NUM_FILE_BITS are 1 to 31 bits.
-#: Use as per your requirements. Making (NUM_LINE_BITS + NUM_COL_BITS) <=32 consumes less memory.
+#: Use as per your requirements. Making (NUM_LINE_BITS + NUM_COL_BITS) <= 32 will consume less memory.
 #: You can use 31 as NUM_FILE_BITS without any extra memory overhead.
 # VERIFIC_LARGE_LINEFILE
 #: We still define the class ColLineFile, but it has only a single starting or ending location and does not include column info.
 #: Valid values of NUM_LINE_BITS and NUM_FILE_BITS are 1 to 31 bits.
-#: Use as per your requirements. Making (NUM_LINE_BITS + NUM_FILE_BITS) <=32 bit consumes less memory.
+#: Use as per your requirements. Making (NUM_LINE_BITS + NUM_FILE_BITS) <= 32 will consume less memory.
-# VERIFIC_LARGE_LINEFILE_FOR_64 (only for 64 bit windows since long is 4 byte there)
+# VERIFIC_LARGE_LINEFILE_FOR_64 (only for 64-bit Windows since long is 4 bytes there)
-#: Same as (2) above but without the class and only for 64 bit windows systems.
+#: Same as (2) above but without the class and only for 64-bit Windows systems.
 These compile flags are mutually exclusive.
 You should have only one of them defined according to your requirements.
-If you do not define any of the above compile flags, by default we use the following:
+If you do not define any of the above compile flags, Verific uses the following by default :
-* On a 64 bit (non-windows) system, line number and file-id are encoded into a 64 bit unsigned long. You need to set (NUM_LINE_BITS + NUM_FILE_BITS) <= 64
+* On a 64-bit (non-Windows) system, line number and file-id are encoded into a 64-bit unsigned long. You need to set (NUM_LINE_BITS + NUM_FILE_BITS) <= 64
-* On a 32 bit (and 64 bit windows) system, line number and file-id are encoded into a 32 bit unsigned long. You need to set (NUM_LINE_BITS + NUM_FILE_BITS) <= 32
+* On a 32-bit (and 64-bit Windows) system, line number and file-id are encoded into a 32-bit unsigned long. You need to set (NUM_LINE_BITS + NUM_FILE_BITS) <= 32
 If you do not need column numbers or both starting and ending locations, you can turn off column info.
-If the number of files overflows NUM_FILE_BITS, we do issue "WARNING: number of file names exceeded maximum of %d" for too many files. However, producing the same warning for lines/columns will produce too many of them.
+If the number of files overflows NUM_FILE_BITS, we issue "WARNING: number of file names exceeded maximum of %d" when there are too many files. However, producing the same warning for lines/columns would result in too many messages.