形式化验证

关于软件安装
• 亿图图示的安装
• 波形图绘制软件WaveDrom
• 文档格式转换工具Pandoc
• 最简单易用的谷歌访问助手
• 为firefox安装插件
• Bitwarden的安装
• 为firefox安装flash player插件
• hugo的安装
• PicGo的安装
• GoldenDict的安装
• 将软件添加到deepin启动器
• firefox的安装
• git的安装
• emacs的安装
• 为deepin系统安装无线网卡驱动
• deepin系统安装
• My Black Boy
关于emacs
• 解决Org-Mode表格不对齐问题
• emacs插件之多媒体应用
• emacs插件之自动插入英文翻译
• emacs插件之英文自动补全
• emacs org-mode 的使用
• emacs使用folding-mode
• emacs 中使用模板文件
• Emacs Verilog Perl 的使用
• Emacs verilog-mode 的使用
• emacs的使用技巧记录
• emacs如何安装插件
• emacs的基本使用
关于生活
• 电子书下载
• 随笔与摘录
• 我的收藏之美食漫画
• 我的收藏之中国烹饪古籍丛刊
• 我的美食拙作
• 我的美食地图之北京
• 我的美食地图之西安
关于博客搭建
• 推荐一款hugo主题
• 使用org-mode和ox-hugo写博客
• 给自己的博客自定义域名
• hugo博客内容的使用技巧
• 将hugo博客部署到github
• markdown语法
• hugo的使用
关于Windows使用技巧
• 如何保存网页内容到本地
• WPS如何使用文档模板
• 关于word编辑文档的一些建议
关于Linux使用技巧
语言使用技巧
• Python简明教程
• 正则表达式语法简明教程
脚本使用技巧
• shell脚本基础
• verilog中reg和wire的自动声明
• shell脚本使用记录
工具使用技巧
• Git原理详解及实用指南
• Git的基本使用命令
• 代码预处理工具ep3的使用
通用使用技巧
• Linux系统设置记录
• Linux安装工具记录
• Linux使用命令记录
关于IC验证
培训材料
• UVM学习笔记（三）
• UVM学习笔记（二）
• UVM学习笔记（一）
• SV学习笔记（八）
• SV学习笔记（七）
• SV学习笔记（六）
• SV学习笔记（五）
• SV学习笔记（四）
• SV学习笔记（三）
• SV学习笔记（二）
• SV学习笔记（一）
• 验证工程师与芯片验证（五）
• 验证工程师与芯片验证（四）
• 验证工程师与芯片验证（三）
• 验证工程师与芯片验证（二）
• 验证工程师与芯片验证（一）
工具使用
• Verdi使用总结
小技巧
• 如何更好的解决RTL编译时依赖关系问题
• Verilog中获取随机数
形式化验证
• Formal验证技术总结
项目记录
• FPU验证那些事
• DPU验证环境全套解决方案
• SV与UVM的问题记录
• 每日一问
• UVM与验证环境
• 关于X-Propagation问题
• 芯片验证工程师
关于IC设计
CPU设计
• 多周期CPU设计
• 初识多核体系结构
• 浅谈熔断和幽灵
• DynamIQ Power Management
• ARM处理器基础介绍
典型电路设计
• 跨时钟域数据传输
• Booth算法与Wallace树
RTL编码
• verilog的编码风格
• 关于Verilog中的case、casex、casez
• 简化verilog编码的全套解决方案
关于ARM架构
• 基于Python实现ARM随机指令生成器
• 一个简易bootloader框架
• AArch64之异常处理
• 为什么AArch64没有LDM和STM指令
• ARM(a32)体系结构与汇编指令
科普知识
• 浮点数的表示和运算
• CPU相关的科普知识
• 你应该知道的职级与英文缩写