VCSVerdi:KDB文件的生成和导入

相关阅读

VCSicon-default.png?t=O83Ahttps://blog.csdn.net/weixin_45791458/category_12828763.html

Verdiicon-default.png?t=O83Ahttps://blog.csdn.net/weixin_45791458/category_12829428.html?spm=1001.2014.3001.5482 


前言 

        在复杂的设计中,很难在HDL或测试平台级别(如使用系统函数)找到与逻辑相关的错误。调试过程包括定位与错误相关的设计逻辑、隔离错误原因,并理解设计应该如何表现以及为何未按预期表现。设计和验证工程师需要复杂的工具来查找仿真器生成的数据中的错误。

        Verdi调试工具提供了全面的调试支持,适用于所有设计和验证流程。它包括强大的技术,帮助您理解复杂和不熟悉的设计行为,并自动化繁琐且困难的调试过程。除了标准的源代码浏览器、原理图、波形、状态机图和波形比较等功能外,Verdi工具还包括自动追踪信号活动的高级功能,利用时序流视图、基于断言的调试以及事务和消息数据的调试和分析。

        通过以下模式使用Verdi进行调试:

  • 交互式仿真调试模式:允许交互式地调试设计。
  • 后处理调试模式:允许使用数据库(fsdb)调试设计。

生成KDB

        Verdi知识数据库(KDB)是其特有的数据库,用于保存一个设计的相关数据,通过使用VCS时添加的选项,设计人员可以很方便地生成Verdi KDB。

如果使用VCS三步流程:

        在第一步分析(即vhdlan或vlogan命令)时加入-kdb选项,将会生成库KDB目录(work.lib++)并将其和分析生成的中间文件一起保存在逻辑库中。

% vlogan -kdb <vlogan_options> <source files>
% vhdlan -kdb <vhdlan_options> <source files>

        在第二步展开阶段(即VCS命令)时加入-kdb选项,将会生成展开后的KDB目录(kdb.elab++)并将其保存在simv.daidir目录中。

vcs -kdb <top_name>

如果使用VCS两步流程:

        在第一步编译时(即VCS命令)时加入-kdb选项,将会生成展开后的KDB目录(kdb.elab++)并将其保存在simv.daidir目录中。

vcs -kdb <compile_options> <source files>

        若仅生成KDB而跳过仿真文件(可执行文件)的生成,可以指定only参数与-kdb选项一起使用。

如果使用VCS三步流程:

        需要注意,分析阶段无法使用only参数,只能在展开阶段使用。

% vlogan -kdb <vlogan_options> <source files>
% vhdlan -kdb <vhdlan_options> <source files>
% vcs -kdb=only <top_name> <compile_options>

如果使用VCS两步流程: 

% vcs -kdb=only <compile_options> <source files>

打开KDB

直接打开KDB(较少使用)

1、在命令行使用Verdi命令,并指定simv.daidir目录。

verdi -simflow -dbdir <simv.daidir_path>

2、在Verdi GUI中选择Import Design-From Daidir并选择相应设计的simv.daidir目录,如图1所示。

图1 从simv.daidir目录导入KDB数据库

3、在命令行使用Verdi命令,并指定一个逻辑库目录中的KDB目录(work.lib++),Verdi会将其中所有没有被该逻辑库中的模块例化过的模块当做顶层模块,并执行展开(展开时会根据synopsys_sim.setup文件指定的库顺序对逻辑库进行搜索)。

​verdi -simflow -lib <work.lib++_path>

        可以使用-top选项人为指定顶层模块。 

4、 在Verdi GUI中选择Import Design-From Library-From VC/VCS Native Compile并选择相应逻辑库,如图2所示。

图2 从逻辑库导入KDB数据库

使用仿真文件自动打开KDB(常用)

1、在命令行以GUI交互式仿真调试模式运行仿真文件时,Verdi会自动导入相应的KDB(其实还是从simv.daidir目录中导入的KDB),并进入仿真状态。注意,这么做的前提是在VCS三步流程的展开阶段或VCS两步流程的编译阶段时使用-debug_access选项。

vlogan top.v -kdb
vcs top -debug_access+r -kdb

或者

vcs -debug_access+r -kdb top.v

然后

./simv -gui

2、在命令行使用Verdi命令,并指定仿真文件,Verdi会自动导入相应的KDB(其实还是从simv.daidir目录中导入的KDB),并进入仿真状态。注意,这么做的前提是在VCS三步流程的展开阶段或VCS两步流程的编译阶段时使用-debug_access选项。

vlogan top.v -kdb
vcs top -debug_access+r -kdb

或者 

vcs -debug_access+r -kdb top.v

然后

verdi -simBin "./simv"    # 仿真文件路径必须用双引号包围

3、在命令行使用Verdi命令,并指定后处理调试模式时使用的fsdb波形文件,Verdi会自动导入相应的KDB(其实还是从simv.daidir目录中导入的KDB)。注意,这么做的前提是在VCS三步流程的展开阶段或VCS两步流程的编译阶段时使用-debug_access选项,并运行仿真文件,使用其中的系统函数导出了fsdb波形文件。

verdi -ssf test.fsdb

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/469653.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

2024年【汽车修理工(高级)】考试试卷及汽车修理工(高级)证考试

题库来源&#xff1a;安全生产模拟考试一点通公众号小程序 汽车修理工&#xff08;高级&#xff09;考试试卷是安全生产模拟考试一点通总题库中生成的一套汽车修理工&#xff08;高级&#xff09;证考试&#xff0c;安全生产模拟考试一点通上汽车修理工&#xff08;高级&#…

灵活就业,真的等同于失业吗?“三无人员”如何齐短板获贷款

现在灵活就业的人越来越多&#xff0c;目前有约2亿人选择灵活就业&#xff0c;今天咱们就来好好聊聊&#xff0c;灵活就业&#xff0c;它真的等同于失业吗&#xff1f; 咱们可以看看那些跑外卖的、做网约车司机的&#xff0c;虽然他们看起来在忙忙碌碌地工作&#xff0c;但细究…

python识别ocr 图片和pdf文件

#识别图片 pip3 install paddleocr pip3 install paddlepaddle#识别pdf pip3 install PyMuPDF 重点&#xff1a;路径不能有中文&#xff0c;不然pdf文件访问不了 from paddleocr import PaddleOCR from rest_framework.response import Response from rest_framework.views im…

由于找不到mfc120u.dll, 无法继续执行代码。重新安装程序可能解决引问题。

运行MFC程序报下面错误,无法到找运行库mfc120u.dll msvcr120.dll也找不到 下载C++运行库安装程序 mfc12对应2013运行库 运行库安装成功

介绍和安装及数据类型

1、介绍和安装 1.1、简介 ClickHouse是俄罗斯的Yandex于2016年开源的列式存储数据库&#xff08;DBMS&#xff09;&#xff0c;使用C语言编写&#xff0c;主要用于在线分析处理查询&#xff08;OLAP&#xff09;&#xff0c;能够使用SQL查询实时生成分析数据报告。 OLAP&…

【Pikachu】越权访问实战

所谓理想&#xff0c;只是同时拥有实力的人才能说的“现实”。所谓弱就是一种罪。 1.Over Permission概述 如果使用A用户的权限去操作B用户的数据&#xff0c;A的权限小于B的权限&#xff0c;如果能够成功操作&#xff0c;则称之为越权操作。 越权漏洞形成的原因是后台使用了…

KubeVirt入门介绍

KubeVirt入门介绍 KubeVirt 是一个开源项目&#xff0c;旨在通过 Kubernetes 管理虚拟机&#xff08;VM&#xff09;&#xff0c;使得 Kubernetes 不仅支持容器化工作负载&#xff0c;还支持虚拟机的部署和管理。这种双重支持的目标是提供一个统一的云原生平台&#xff0c;让开…

分布式----Ceph部署

目录 一、存储基础 1.1 单机存储设备 1.2 单机存储的问题 1.3 商业存储解决方案 1.4 分布式存储&#xff08;软件定义的存储 SDS&#xff09; 1.5 分布式存储的类型 二、Ceph 简介 三、Ceph 优势 四、Ceph 架构 五、Ceph 核心组件 #Pool中数据保存方式支持两种类型&…

智慧仓储物流可视化平台

通过图扑 HT 对仓储与物流流程进行动态可视化管理。实时跟踪库存状态和物流路径&#xff0c;优化资源配置与调度&#xff0c;提升运营效率及准确性&#xff0c;支持全流程决策优化及管理。

万字长文解读深度学习——卷积神经网络CNN

推荐阅读&#xff1a; 卷积神经网络&#xff08;CNN&#xff09;详细介绍及其原理详解 CNN笔记&#xff1a;通俗理解卷积神经网络 文章目录 &#x1f33a;深度学习面试八股汇总&#x1f33a;主要组件输入层卷积层 (Convolutional Layer)批归一化层&#xff08;Batch Normalizat…

100+SCI科研绘图系列教程(R和python)

科研绘图系列&#xff1a;箱线图加百分比点图展示组间差异-CSDN博客科研绘图系列&#xff1a;箱线图加蜜蜂图展示组间数据分布-CSDN博客科研绘图系列&#xff1a;小提琴图和双侧小提琴图展示组间差异-CSDN博客科研绘图系列&#xff1a;组间差异的STAMP图的ggplot2实现-CSDN博客…

【在Linux世界中追寻伟大的One Piece】多路转接epoll

目录 1 -> I/O多路转接之poll 1.1 -> poll函数接口 1.2 -> poll的优点 1.3 -> poll的缺点 1.4 -> poll示例 1.4.1 -> 使用poll监控标准输入 2 -> I/O多路转接之epoll 2.1 -> 初识epoll 2.2 -> epoll的相关系统调用 2.2.1 -> epoll_cre…

招聘app开发,人才招聘、求职首要方式

随着互联网的快速发展&#xff0c;各种线上应用成为了大众生活中不可或缺的一部分&#xff0c;不管是购物、娱乐、找工作等都可以通过手机应用进行。因此&#xff0c;对于企业说&#xff0c;线上招聘app至关重要&#xff0c;能够快速帮助企业找到合适的人才。企业直接与求职者交…

学习方法——看差的书籍

CSAPP证明从1中午2点到下午3&#xff1a;40&#xff0c;但是还是只是推理证明而已&#xff0c;但是想起来了课上老师讲的东西了 还可以知道补码运算的大前提知识&#xff01;&#xff01;&#xff01; 但是最好不要一下学这个一下子学哪个&#xff0c;学哪一个都不能尽情投入。…

【人工智能】Transformers之Pipeline(二十三):文档视觉问答(document-question-answering)

​​​​​​​ 目录 一、引言 二、文档问答&#xff08;document-question-answering&#xff09; 2.1 概述 2.2 impira/layoutlm-document-qa 2.2.1 LayoutLM v1 2.2.2 LayoutLM v2 2.2.3 LayoutXLM 2.2.4 LayoutLM v3 2.3 pipeline参数 2.3.1 pipeline对象实例化…

Python酷库之旅-第三方库Pandas(206)

目录 一、用法精讲 961、pandas.IntervalIndex.mid属性 961-1、语法 961-2、参数 961-3、功能 961-4、返回值 961-5、说明 961-6、用法 961-6-1、数据准备 961-6-2、代码示例 961-6-3、结果输出 962、pandas.IntervalIndex.length属性 962-1、语法 962-2、参数 …

【论文阅读】利用SEM二维图像表征黏土矿物三维结构

导言 在油气储层研究中&#xff0c;黏土矿物对流体流动的影响需要在微观尺度上理解&#xff0c;但传统的二维SEM图像难以完整地表征三维孔隙结构。常规的三维成像技术如FIB-SEM&#xff08;聚焦离子束扫描电子显微镜&#xff09;虽然可以获取高精度的3D图像&#xff0c;但成本…

前端入门一之ES6--面向对象、够着函数和原型、继承、ES5新增方法、函数进阶、严格模式、高阶函数、闭包

前言 JS是前端三件套之一&#xff0c;也是核心&#xff0c;本人将会更新JS基础、JS对象、DOM、BOM、ES6等知识点&#xff0c;这篇是ES6;这篇文章是本人大一学习前端的笔记&#xff1b;欢迎点赞 收藏 关注&#xff0c;本人将会持续更新。 文章目录 JS高级 ES61、面向对象1.1…

数据安全、信息安全、网络安全区别与联系

关键字&#xff1a; 信息安全 数据安全 网络安全 [导读] 在 “互联网 ” 被广泛提及的今天&#xff0c;安全问题也越来越多的受到人们关注&#xff0c;然而很多人对于 “信息安全”、“数据安全”、“网络安全” 的概念并不是很清楚。我们汇总了官方机构给这三者的定义&#…

Linux——简单认识vim、gcc以及make/Makefile

前言&#xff1a;大佬写博客给别人看&#xff0c;菜鸟写博客给自己看&#xff0c;我是菜鸟。 1、vim操作&#xff1a; 默认打开vim时&#xff0c;vim处于命令模式。(在其他模式中&#xff0c;Esc就能够返回命令模式) 常用的命令有&#xff1a; n gg&#xff1a;跳转到n行&…