下図alu_func信号は、4bit のVectorですが名前がついているように見えます。この機能は、Verilog 2001 パラメータリスト機能で実現しています。 "alu_test.vtakprj" を開いてみてください。.
"alu_func" を選択して右クリックで
パラメータリストが示されますので選択してください。ダブルクリックするとソースに飛んでいきます。
parameter list
このソースは、インクルードされたファイルになっています。("alu" と"alu_bench" から).