这个SVA文件怎么输入到Jaspergold Functional Safety中呢?用命令还是图形界面?
时间: 2024-03-30 15:37:00 浏览: 14
要将SVA文件输入到Jaspergold Functional Safety中,可以使用图形界面或命令行方式。
使用图形界面:
1. 打开JasperGold Safety;
2. 在左侧Project Explorer窗口中,右键单击Designs文件夹,选择New Design;
3. 在弹出的New Design对话框中,输入设计名称并选择设计文件所在的目录;
4. 点击OK,创建新的设计;
5. 在Project Explorer中,展开刚刚创建的设计节点,右键单击Assertions文件夹,选择New File;
6. 在弹出的New File对话框中,输入文件名并选择文件类型为SystemVerilog Assertions;
7. 点击OK,创建新的SVA文件;
8. 将编辑好的SVA文件拖拽到Assertions文件夹中;
9. 右键单击SVA文件,选择Run Verification。
使用命令行:
1. 打开终端窗口;
2. 进入到设计文件所在的目录;
3. 输入以下命令,将设计文件和SVA文件一起输入到Jaspergold Functional Safety中:
```
jaspergold -t VF -assertions sva_file.sv design_file.v
```
其中,`-t VF`表示使用Verification Flow模式,`sva_file.sv`表示SVA文件名,`design_file.v`表示设计文件名。
无论是使用图形界面还是命令行方式,输入SVA文件后,Jaspergold Functional Safety会自动将其解析并添加到仿真中。