huanm - 博客园

2023年8月28日

linux基本命令行

摘要： TBD 阅读全文

posted @ 2023-08-28 15:46 huanm 阅读(26) 评论(0) 推荐(0) 编辑

UVM基础知识介绍

摘要： TBD 阅读全文

posted @ 2023-08-28 15:45 huanm 阅读(169) 评论(0) 推荐(0) 编辑

SV编程基础

摘要：待补充阅读全文

posted @ 2023-08-28 15:45 huanm 阅读(32) 评论(0) 推荐(0) 编辑

立个flag，今年年底前打算更新帖子，主要涉及数字芯片验证相关知识内容

摘要：生活和工作都到了新的阶段，及时总结一下！！！阅读全文

posted @ 2023-08-28 15:43 huanm 阅读(47) 评论(0) 推荐(0) 编辑

2019年10月27日

数字验证流程

摘要： 1.熟读项目文档，包括设计文档，接口文档等 2.根据文档提取测试点，测试点分解分类有：数据流功能点，寄存器，DFX功能，异常等 3.编写组件验证代码，与完整的验证环境相比，缺少DUT，主要为了验证接口组件，用于搭建整体环境。包括transation，sequence，sequencer，driver 阅读全文

posted @ 2019-10-27 14:41 huanm 阅读(2506) 评论(0) 推荐(1) 编辑

验证之功能覆盖率模型与收集

摘要：一.功能覆盖率概念 1. 功能覆盖率用来度量验证对象功能的覆盖比例，与代码覆盖率不同的是，功能覆盖率主要关注测试点feature list，反映功能的验证完备性。可分为Cover Group和Cover Property，本文主要介绍cover group，cover property针对断言覆盖率阅读全文

posted @ 2019-10-27 14:20 huanm 阅读(3586) 评论(1) 推荐(1) 编辑

2018年7月4日

异步fifo设计（2）

摘要：详见https://www.cnblogs.com/aslmer/p/6114216.html 首先看一下异步fifo设计的整体框图：在该设计中会有6个小模块： 1、fifo.v这个模块是顶层模块； 2、fifomem.v:这个模块是fifo的内存缓冲器，该内存属于双端RAM 3、sync_r2w 阅读全文

posted @ 2018-07-04 20:16 huanm 阅读(760) 评论(0) 推荐(0) 编辑

异步fifo设计（1）

摘要：异步fifo的设计主要涉及读写指针的产生，空满状态的判断一：简单讲解重要参数：fifo深度（简单来说就是需要存多少个数据） fifo位宽（每个数据的位宽） FIFO有同步和异步两种，同步即读写时钟相同，异步即读写时钟不相同同步FIFO用的少，可以作为数据缓存异步FIFO可以解决跨时钟域的问题阅读全文

posted @ 2018-07-04 19:52 huanm 阅读(3488) 评论(1) 推荐(0) 编辑

2018年6月4日

systemverilog学习（9）assertion

摘要：一：初实assertion 断言就是一段描述设计期望行为的代码。目前，对断言的使用主要在于仿真，但断言的能力不仅仅如此。断言是基于一些更加基础的信息，我们称之为属性（Ｐｒｏｐｅｒｔｙ），属性可以用来作为断言、功能覆盖点、形式检查和约束随机激励生成。断言可以嵌入到设计当中，也可阅读全文

posted @ 2018-06-04 17:04 huanm 阅读(19337) 评论(0) 推荐(1) 编辑

2018年5月31日

cordic算法

摘要： 1：cordic算法的基本公式 2：角度θ的部分取值（左）以及使用matalb得到的二进制值（右） 3：使用圆坐标系的伪旋转，可计算sin，cos，tan-1，令x0=1/k=0.6073，y0=0，可以得到sin与cos值；令x0=1，z0=0，可以得到tan-1；令x0=1，z0=0，由循阅读全文

posted @ 2018-05-31 15:04 huanm 阅读(988) 评论(0) 推荐(0) 编辑