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...

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

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

原创 一图详解 UVM phase机制

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

原创 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验证 基础

原创 将博客由博客园迁移至CSDN

csdn：[https://blog.csdn.net/spartmap?spm=1011.2438.3001.5343]

原创 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...

原创 gvim配置

点击查看代码" For pathogen.vim: auto load all plugins in .vim/bundleexecute pathogen#infect()"open syntax highlightsyntax enablesyntax on"indent based on filetypefiletype plugin indent onfiletype...

原创 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...