spartmap的博客

原创 IC验证测试点分解

输入参数A有开启、关闭两种情况，参数B有模式1和模式2两种，参数C位宽选择有1bit，8bit和64bit，利用正交矩阵分解就有12种情况： A开启、B为模式1、C位宽选择1bit；A关闭、B为模式1、C位宽选择1bit；验证规格分解到特性，粒度比较粗，无法保证完备性，特性的理解会存在歧义，特性和测试用例的对应关系不确定。2.语句描述遵循IPO原则（input、process、output）（描述出此功能验证时如何构造激励，如何构造配置，检查的结果，度量手段，即怎么测，如何检查，检查什么标准，怎么度量）

原创 常见软件更新设置（anaconda，git bash等）

因为国内特殊环境，使用git anaconda 等软件更新速度都是比较慢的，本文搜集一些常用方法，可以避免速度过慢。1.git bash方法：设置全局代理（以v2为例 监听端口10808）git config --global http.proxy 'socks5://127.0.0.1:10808'git config --global https.proxy 'socks...

原创 VCS patthen 配置学习

VCS(版本控制系统)模式文件是一种定义如何识别和处理代码中特定模式的配置文件。这些模式可用于代码审查、文档生成、质量检查和IC设计验证等自动化任务。本指南详细介绍VCS配置模式的语法和使用方法。

原创 测试点分解

测试点分解是将设计规范(Specification)中的高级需求转化为具体、可衡量的验证目标(测试点)的过程。它是连接设计意图与验证实现的关键桥梁，旨在确保验证的系统性和全面性，从而提高发现设计缺陷的效率。早期分解：尽早开始测试点分解，与设计并行进行。评审机制：设计和验证工程师共同评审测试点，确保理解一致且覆盖全面。工具辅助：利用需求管理和测试计划工具进行跟踪。动态调整：根据设计变更和验证发现，持续更新测试点和测试计划。量化驱动：使用覆盖率作为衡量验证完整性的主要指标，驱动测试收敛。经验复用。

原创 uvm_phases

UVM Phase机制详解1. 概述UVM Phase机制是验证环境执行流程的核心控制机制，通过预定义的执行阶段确保验证组件的有序初始化和运行。2. 主要Phase及其作用2.1 构建阶段 (Build Phases)graph TD A[build_phase] --> B[connect_phase] B --> C[end_of_elaboration...

原创 UVM复位处理指南

如何在UVM中处理复位1. 简介在电子设计中，通过专用信号"复位"将设计置入已知状态是基本要求。复位信号的工作流程：上电后断言(Assert)复位信号保持指定时钟周期数(通常)取消断言(De-assert)使设计退出复位状态DUT进入规范定义的已知状态2. 使用UVC生成模块验证的复位信号2.1 验证环境要求复位过程需同时作用于DUT和测试平台组件需支持初始复位和序列执...

原创 UVM测试结束机制指南

如何正确结束UVM测试1. UVM测试结束机制概述传统定向测试平台通过调用$finish系统任务结束测试，而UVM采用基于异议机制(Objection Mechanism)的协同式结束策略。主要方法包括：异议机制(Raise/Drop Objection)phase_ready_to_end方法set_drain_time设置graph TD A[测试结束机制] --&g...

原创 UVM接口信号同步机制

UVM接口信号同步机制1. 同步场景与应用在UVM验证环境中，以下典型场景需要直接处理接口信号：graph TD A[序列内事务间隔控制] -->|基于时钟周期| B(总线时序管理) C[错误状态过滤] -->|错误信号监控| D(覆盖率采样控制) E[中断响应机制] -->|中断信号触发| F(ISR序列调度) G[复位同步] --&gt...

原创 UVM调试功能指南

UVM调试功能全解析1. 调试功能概览graph TD A[配置调试] --> A1[命令行跟踪] A --> A2[组件配置打印] A --> A3[资源库转储] B[工厂调试] --> B1[类型注册追踪] C[阶段调试] --> C1[相位跟踪] D[异议调试] --> D1[对象跟踪] E[T...

原创 UVM中断处理机制

UVM中断处理机制1. 中断处理概述在SoC系统中，中断作为IP模块的边带信号，通常通过中断控制器传递至CPU。主要应用场景包括：graph TD A[中断源] --> B[中断控制器] B --> C[CPU响应] C --> D[执行ISR]2. UVM实现方案2.1 核心机制使用grab()/ungrab()实现序列抢占ISR序列优...

原创 处理 UVM的 reset

How to handle Reset in UVM如何在 UVM 中处理 Reset1) Introduction:1) 简介：One of the fundamental requirement in Electronic Design is to put the Design into a known state after the power is switched ON . T...

原创 使用uvm_config_db 分层Testbench配置

前言 对于刚接触验证方法或正在采用 uvm 的工程师，本文重点介绍 uvm 配置机制 "uvm_config_db"，它有助于在分层测试台组件之间传递不同的类属性。通过使用示例，本文解释了 uvm_config_db 的用法、技术和局限性。介绍 为满足当今验证架构的需求，有必要对组件进行分层设置，以便在不同的测试平台组件之间轻松移动或共享配置和其他参数。为实现这一点，uvm 提供了维护对象...

原创 snippets for gvim （UVM snippets）

【代码】snippets for gvim （UVM snippets）

原创 UVM transaction 定义 方法和用法（未完）

简介Q1: 所有高级的基于类的验证方法都使用类来表示事务，但为什么呢？为什么不使用结构体？1 对于高级用户而言，答案是显而易见的，但是对于新手而言，这些问题并没有在任何文献中得到解答。2 问题是，大多数现有的UVM的参考指南都是由非常非常聪明的软件工程师编写的，他们假设所有用户自然知道这个问题和许多其他问题的答案，但这不是一个有效的假设了解这些问题答案的第一步是将基于类的事务功能与基于...

原创 一图详解 UVM phase机制

UVM验证环境构建时，引入。，通过该机制可以很清晰的。这里层次化，不仅仅是。

原创 sv断言(未完待续)

什么是断言？断言：断言是一种声明，即某个属性必须为真。设计规范：请求req信号被断言后，确认ack信号必须在1到3个时钟后到达。断言用于：文档设计意图(例如：每个请求信号req都有一个确认信号ack)在仿真时间内验证设计是否符合规范验证设计假设(例如：状态值为独热码)定位发生故障的位置是在设计而不是在输出为形式验证提供语义描述功能覆盖点等....要求澄清规范中的歧义无断...

转载 UVM Systemverilog SystemC EDA IP国外学习网站

UVM Systemverilog SystemC EDA IP国外学习网站【转载】SemiWiki - All Things Semiconductor!(半导体届的维基百科，罗列了各EDA，IP等供应商和行业资讯)WWW.TESTBENCH.INVerification Academy - The most comprehensive resource for verif...

原创 sv精通1

原创 ic验证基础4

原创 UVM 寄存器模型 思维导图

原创 gvim 热键图

热键图1热键图2热键图3

原创 ic验证基础3

数字ic ic验证基础 UVM sv 功能

原创 ic验证基础2

ic验证 通识2 sverilog UVM MCDF

原创 验证基础1

ic验证 基础

原创 sv 断言

SV -- Assertions 断言【转载】声明：该文章转载自love小酒窝(见如下链接(https://www.cnblogs.com/lyc-seu/p/12718412.html))，此处仅供查阅方便SV -- Assertions 断言目录目录SV -- Assertions 断言【转载】SV -- Assertions 断言1.简介1.1 立即断言1.2 并发断言2.SVA ...

原创 Vim 从入门到精通【转载】

Vim 从入门到精通声明：该文章转载自github - wsdjeg的项目(见如下链接)，此处仅供查阅方便：https://github.com/wsdjeg/vim-galore-zh_cn#vim-%E4%BB%8E%E5%85%A5%E9%97%A8%E5%88%B0%E7%B2%BE%E9%80%9A简介什么是 Vim？Vim 哲学入门精简的 vimrcWi...

原创 sv语法 大纲

SV语法数据类型内建数据类型逻辑类型二值类型(0，1)bit，byte，int，shortint，longint四值类型(0，1，X，Z)logic，reg，integer，net-type(如：wire)符号类型无符号bit，logic，reg，net-type有符号byte，shortint，int，longint，integer...

原创 sv snippets

点击查看代码snippet always always @ .. always @(${1:posedge clk}) begin ${2} endsnippet always always_comb .. always_comb begin ${1} endsnippet always_comb always_comb .. always_comb ...

原创 sv coverage snippets

点击查看代码snippet coverage function coverage \`include "group_coverage.sv" class ${1:uvc}_coverage extends uvm_component; virtual ${1:uvc}_cov_intf cov_vif; bit has_coverage = 1; \`uvm_compone...

原创 测试

测试 code

原创 玩转kali

  1. kali-rolling 更新源  kali版本按照新旧划分为：BackTrack 系列 < Kali 1.0 系列 < Kali 2.0 （sana） < Kali-rolling，目前最新的是Kali-rolling，选择更新源时要选择要对应的版本。  以下是国内部分更新源，网络中大多数推荐的阿里云和中科大的源，我自己在用的过程中发现中科大的源速度慢的令人发指，阿里...

转载 Ubuntu安装Kali Linux渗透测试工具

我想大多数Linux用户都听说过Kali Linux。它是一个非常好的用于渗透测试的Linux发行版。但通常我们需要在电脑上安装一个完整的Kali Linux才能使用它各种各样的工具。LionSec开发出了一个python工具，叫做Katoolin，它可以让你在其他Linux发行版上使用 Kali的全部工具。目前仅支持ubuntu，其他发行版会陆续支持。ubuntu如何安装Katoolin首先你的...

转载 linux 国内源

服务器列表可将 http://cn.archive.ubuntu.com/ubuntu/ 替换为下列任意服务器：Ubuntu 官方（欧洲，国内较慢，无同步延迟）http://archive.ubuntu.com/ubuntu/Ubuntu 官方中国（目前是阿里云）http://cn.archive.ubuntu.com/ubuntu/网易（广东广州电信/联通千兆双线接入）http://mirror...

转载 WSL(Windows Subsystem for Linux， Bash On Windows)笔记（ubuntu为例）

①cd /etc/apt         (进入源文件目录)②sudo cp sources.list sources.list.bak      (备份源文件，就是将sources.list备份为sources.list.bak）③sudo vi /etc/apt/sources.list     (用vm 打开sources.list 文件）④dd⑤i⑥编辑⑦：wq 保存⑧sudo apt-g...