Visiting Hierarchical References (VeriSelectedName) - Revision history

Vince at 19:02, 8 April 2021

2021-04-08T19:02:38Z

Hoa at 23:02, 21 January 2020

2020-01-21T23:02:43Z

Hoa at 23:02, 21 January 2020

2020-01-21T23:02:12Z

Hoa: Created page with "In Verilog parsetree, hierarchical references are of type VeriSelectedName. Note that the "_suffix_id" fields are resolved only in statically-elaborated parsetree. In other wo..."

2020-01-21T22:59:41Z

Created page with "In Verilog parsetree, hierarchical references are of type VeriSelectedName. Note that the "_suffix_id" fields are resolved only in statically-elaborated parsetree. In other wo..."

New page

In Verilog parsetree, hierarchical references are of type VeriSelectedName. Note that the "_suffix_id" fields are resolved only in statically-elaborated parsetree. In other works, static elaboration has to be run in this application.

C++:
<nowiki>
#include <iostream>
#include "VeriCopy.h" // Make class VeriMapForCopy available
#include "Map.h" // Make class Map available
#include "Message.h" // Make message handlers available
#include "veri_file.h" // Make verilog reader available
#include "VeriModule.h" // Definition of a VeriModule and VeriPrimitive
#include "VeriLibrary.h"
#include "Array.h" // Make class Array available
#include "VeriId.h" // Definitions of all verilog identifier nodes
#include "Strings.h" // Definition of class to manipulate copy, concatenate, create etc...

#ifdef VERIFIC_NAMESPACE
using namespace Verific ;
#endif

class HierRefVisitor : public VeriVisitor
{
public:
HierRefVisitor() {}
virtual ~HierRefVisitor() {}

virtual void VERI_VISIT(VeriSelectedName, node)
{
VeriIdDef *suffix_id = node.GetId() ;
node.PrettyPrint(std::cout, 0) ;
std::cout << std::endl ;

if (suffix_id) {
std::cout << " Suffix id is " << suffix_id->GetName() << std::endl ;
} else {
std::cout << " Suffix id is NOT FOUND " << std::endl ;
}
VeriName *prefix = node.GetPrefix() ;
if (prefix) prefix->Accept(*this) ;
}
} ;

int main(int argc, char **argv)
{
if (argc < 2) Message::PrintLine("Default input file: test.sv. Specify command line argument to override") ;

const char *file_name = 0 ;
if (argc>1) {
file_name = argv[1] ; // Set the file name as specified by the user
} else {
file_name = "test.sv" ; // Set default file name
}

if (!veri_file::Analyze(file_name, veri_file::SYSTEM_VERILOG)) return 1 ;

// Return in case of failure.
if (!veri_file::ElaborateAllStatic("work")) {
return 1 ;
}

MapIter mi ;
VeriModule *mod ;
FOREACH_VERILOG_MODULE(mi, mod) {
if (!mod || !mod->IsStaticElaborated()) continue ;
std::cout << "Traversing module " << mod->GetName() << std::endl ;
HierRefVisitor visit_obj ;
mod->Accept(visit_obj) ;
}

return 0 ;
}
</nowiki>

test.sv
<nowiki>
module foo(input in, output out);
test ii1(in, out);
endmodule

module top(input in, output out, out1);
foo i1(in, out);
assign out1 = i1.ii1.in1;
endmodule

module test(input in1, output out);
assign out = in1;
endmodule
</nowili>

Run:
<nowiki>
[hoa@awing0 200117_VisitSelectedName]$ test-linux
-- Default input file: test.sv. Specify command line argument to override
-- Analyzing Verilog file 'test.sv' (VERI-1482)
test.sv(5): INFO: compiling module 'top' (VERI-1018)
Traversing module foo
Traversing module top
i1.ii1.in1
Suffix id is in1
i1.ii1
Suffix id is ii1
Traversing module test
[hoa@awing0 200117_VisitSelectedName]$
</nowiki>

← Older revision		Revision as of 19:02, 8 April 2021
Line 1:		Line 1:
−	In Verilog parsetree, hierarchical references are of type VeriSelectedName. Note that the "_suffix_id" fields are resolved only in statically-elaborated parsetree. In other ~~works~~, static elaboration has to be run in this application.	+	In Verilog parsetree, hierarchical references are of type VeriSelectedName. Note that the "_suffix_id" fields are resolved only in statically-elaborated parsetree. In other words, static elaboration has to be run in this application.

	C++:		C++:

@@ Line 85: / Line 85: @@
 assign out = in1;
 endmodule
-  </nowili>
+  </nowiki>
 Run:

@@ Line 2: / Line 2: @@
 C++:
-<nowiki>
+ <nowiki>
 #include <iostream>
 #include "VeriCopy.h"       // Make class VeriMapForCopy available
@@ Line 69: / Line 69: @@
      return 0 ;
+}
-</nowiki>
+ </nowiki>
 test.sv
-<nowiki>
+ <nowiki>
 module foo(input in, output out);
 test ii1(in, out);
@@ Line 85: / Line 85: @@
 assign out = in1;
 endmodule
-</nowili>
+ </nowili>
 Run:
-<nowiki>
+ <nowiki>
 [hoa@awing0 200117_VisitSelectedName]$ test-linux
 -- Default input file: test.sv. Specify command line argument to override
@@ Line 101: / Line 101: @@
 Traversing module test
 [hoa@awing0 200117_VisitSelectedName]$
-</nowiki>
+ </nowiki>