4.1 Using the msvt_check Command
msvt_check is a command-line based standalone tool that verifies designs developed for the SmartFusion®2 and IGLOO®2 families. The tool is available in the <Libero_path>/bin64 folder.
Note: To verify designs developed for the PolarFire® family of devices, use the
msvt_check_pf command.Syntax
<Libero_path>/bin64/msvt_check –p <project_path>/designer/<Top_Level_Module>/msvt.param [–o msvt_check.log]Arguments
The following table lists arguments you can use with the msvt_check command.
| Argument | Description |
|---|---|
-p <msvt.param file path> | Path to the msvt.param file. The msvt.param file is generated using Libero. This argument is required. |
-o <filename> | Prints a comprehensive report to the specified file. The report prints at the command prompt, if the -o argument is omitted. This argument is optional. |
Returns
The following table lists the return values when the msvt_check command is used.
| Return Value | Description |
|---|---|
| MSVT Check Failed | Design has not met one or more of the separation criteria. |
| MSVT Check Succeeded | Design has met all separation criteria. |