thompsonm的博客

原创 SystemVerilog Assertion

SystemVerilog Assertion1. 断言是什么2. SVA 术语2.1 并发断言2.2 即时断言3. 建立 SVA 块4. 一个简单的序列5. 边沿定义的序列6. 逻辑关系的序列7. 序列表达式8. SVA中的时钟定义9. 禁止属性10. 一个简单的执行块1. 断言是什么在测试平台中，SVA主要用于：协议检验协议覆盖断言是设计的属性的描述：如果一个在模拟中被检查的属性未按照期望表现，则断言失败如果一个被禁止在设计中出现的属性在模拟的过程中发生，则断言失败2. SVA

原创 uvm_user_guide_1.2 -- ch4 使用验证组件

原创 uvm_user_guide_1.2 -- ch3 开发可重用的验证组件

原创 uvm_user_guide_1.2 -- ch2 TLM 通信

2. uvm_user_guide_1.2 -- TLM 通信2.1 TLM-1的实现2.1.1 Basics2.1.1.1 Transactions2.1.1.2 Transaction级通信2.1.1.3 基本TLM通信2.1.1.4 进程间的通信2.1.1.5 Blocking 与 Nonblocking2.1.1.6 连接 transaction 级组件2.1.1.7 点到点的连接2.1.1.8 Port/Export 匹配2.1.2 封装和层次2.1.2.1 层次性连接2.1.2.2 连接类型2.

原创 uvm_user_guide_1.2 -- ch1 Overview

uvm_user_guide_1.2 -- ch1 Overview1. Overview1.1 典型UVM Testbench架构1.1.1 UVM Testbench1.1.2 UVM Test1.1.3 UVM Environment1.1.4 UVM Scoreboard1.1.5 UVM Agent1.1.6 UVM Sequencer1.1.7 UVM Sequence1.1.8 UVM Driver1.1.9 UVM Monitor1.2 UVM类库1. Overview1.1 典型UVM

原创 Git笔记

Git&GitHub笔记基本概念仓库（Repository）：用于存放项目代码，每个项目对应一个仓库。收藏（Star）：收藏项目，方便下次查看。复制克隆项目（Fork）：将其他人的项目复制到自己的仓库。发起请求（Pull Request）：对fork后的项目进行修改后，请求更新到原项目。关注（Watch）：关注该项目，接收更新通知。事务卡片（Issue）：发起讨论。...

原创 CentOS7安装VCS、Verdi、SCL

CentOS7安装VCS、Verdi、SCL1.Linux下所需安装文件 链接：https://pan.baidu.com/s/16ZmBj6RbaU-hVp5BwPTiUA 提取码：u2o4​ synopsysinstaller_v5.0​ scl_v2018.06​ vcs_mx_vO-2018.09-SP2​ vcs_vO-2018.09-SP2​ verdi-2018.92.Windows破解文件​ scl_keygen_20303.安装installer打开终端

原创 VMware共享文件夹

VMware共享文件夹1.配置vmware tools，进行如下设置选择要共享的文件夹进行添加2.安装VMware Tools重启虚拟机，登陆之前选择 虚拟机-> 重新安装VMware Tools。双击光盘图标，解压缩其中的压缩包。打开终端，进入解压缩的目录，运行vmware-install.plsudo ./vmware-install.pl3.Linux下共享文件夹路径/mnt/hgfs/*...

原创 VMware安装CentOS7

VMware安装CentOS71.点击 创建新的虚拟机，默认典型，下一步2.选择 稍后安装，后面再添加镜像，这样才能安装系统时才能自定义设置3.选择Linux和CentOS 7 64位，点击下一步4.虚拟机命名，指定安装路径5.磁盘空间大小设置，默认拆分成多个文件，方便移动6.点击 自定义硬件，根据电脑配置设置内存和处理器，添加CentOS镜像7.点击 开启此虚拟机 启动安装，选择Install CentOS78.选择语言9.点击 软件安装，选择带GUI的服务器版本