- 博客(8)
- 收藏
- 关注
RSS订阅原创 UCLI应用
摘要：UCLI（Unified Command-line Interface）是基于Tcl扩展的验证命令行接口，支持交互式和批处理模式。工作阶段分为初始态（init）和仿真态（ucli）。命令功能受编译选项影响，如debug_access决定可用命令范围。主要命令包括仿真控制（run/step/next）、调试（get/force）、波形管理（dump）、断言覆盖（assertion/coverage）等，支持Tcl脚本自动化（do命令）和错误处理（onerror）。该接口为VCS仿真提供灵活的调试与验证功
2025-07-13 15:55:18
715
原创 开源svlib工具
整个svlib-userguide看下来，我觉得最有用的应该是正则匹配和配置文件和配置类的转化。但是在实际的项目应用中，这两个功能应用不多。更多可能用到uvm的正则表达式或者uvm print 配置类。
2024-12-10 18:23:27
1091
原创 RISCV基础
floating-point unit 浮点处理单元是cpu中的数据处理单元，可以执行实数的数学运算：加、减、乘、除、平方根、三角函数、类型转换、舍入模式、复合运算:FMA(fused multiply-add)乘加等。RISC-V中通过misa中extension D和F扩展来支持浮点单元,F(32位精度），D(64)位精度。用于浮点矢量化计算，等价于ARM处理器使用VFP: vector floating point unit,是FPU的扩展，能够在一次指令中操作多个浮点数据。
2024-12-09 16:56:54
1331
原创 vcs coverage收集
当在vcs编译命令后加上-cm选项时，vcs就会在产生simv可执行文件之后建立simv.vdb目录。vcs编译过程中会将design的数据文件放到snps/coverage/db/design目录；在仿真过程中，vcs会将每个test case产生的coverage 结果放到 snps/coverage/db/testdata目录。
2024-11-28 12:21:59
1795
原创 SD协议简介
SD和EMMC都是基于mmc发展而来,但是两者后来基本独立发展，所以这两个协议之间有共性，也有不同点。MMC更加注重多媒体卡。SD更加注重数据安全。
2024-11-23 15:53:57
1727
原创 formal verification
静态形式验证工具有很多，主要用于模型检查和等价性检查两个方面。S家 vc formal验证平台主要用于模型检查(只有两个应用嵌入了等价性检查功能)，S家formality主要用于等价性检查。本文基于S家 vc formal用户手册整理静态形式验证在DFV中的应用。Note:受软硬件的限制，目前还是推荐在使用formal。soc级的设计规模和复杂度有可能导致验证难以收敛。
2024-11-21 17:57:17
2184
原创 低功耗学习笔记
芯片设计中有3大主题：面积（价格）、时序（速度）以及功耗。功耗分类：pCV2fp=CV^2fpCV2f- switch 功耗：cell外部负载电容的充放电- internal功耗：pmos-nmos之间的短路电流- 静态功耗：随着供电电压的降低以及晶体管阈值电压的降低，漏电功耗比例越来越大。功耗越大：- 要更换昂贵的陶瓷封装以替代塑料封装- 增加降温系统。- 电子迁移带来功能不稳定- 电池寿命降低VCS NLP借助UPF文件进行芯片电源网络的建模。
2024-11-03 13:28:18
1655
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人