21.17.3 read_verilog

Description

Read a Verilog file using Verific.

read_verilog [-lib <libname>] [-mode <mode>] <filename>

Arguments

ParameterTypeDescription
-lib <libname>StringSpecify the library that contains the modules to be added into the library.
-mode <mode>StringSpecify the Verilog standard. Possible values are verilog_95, verilog_2k, system_verilog_2005, system_verilog_2009, system_verilog, verilog_ams, verilog_psl, system_verilog_mfcu. Values are case insensitive. Default is verilog_2k.
filenameStringVerilog file name.
Return TypeDescription
0Command succeeded.
1Command failed. There is an error. You can observe the error message in the console.

List of Errors

Error CodeError MessageDescription

ERR0023

Parameter—lib is missing valueThe lib option is specified without value.

ERR0023

Parameter—mode is missing valueThe mode option is specified without value.

ERR0015

Unknown mode '<mode>'The specified verilog mode is unknown. See the list of possible verilog mode in—mode option description.

ERR0023

Required parameter file name is missingNo verilog file path is provided.

ERR0016

Failed due to Verific's

parser

Syntax error in verilog file. Verific's parser can be observed in the console above the error message.

ERR0012

set_device is not calledThe device information is not specified. Use set_device command to describe the device.

Supported Families

PolarFire®
PolarFire SoC
RTG4
SmartFusion® 2
IGLOO® 2

Example

read_verilog -mode system_verilog {component/work/top/top.v}
read_verilog -mode system_verilog_mfcu design.v