- 博客(112)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 上电复位断言的自动化
验证片上系统（SoC）的复位方案对确保设备能在任何情况下恢复至正常状态至关重要。如今，随着越来越多的IP模块集成到SoC中，复位方案可能变得异常复杂。当引入电源管理设计时，问题会变得更加棘手，这对验证SoC复位方案构成了重大挑战。在低功耗设计中，上电复位（POR）故障是常见的问题之一。一旦在实际芯片中发现此类故障，唯一的解决办法就是禁用电源门控，但这会导致功耗性能大幅下降。另一种解决方案是重新旋转操作，但无论哪种方法都代价高昂。为此，提出了一种自动提取POR断言的解决方案
2025-07-20 15:43:47
746
原创 一种智能的功耗感知验证闭合方法
随着技术发展，片上系统（SoC）的规模与复杂度持续攀升，与此同时其功耗约束也日益严苛。低功耗设计正变得愈发复杂，涉及大量电源域、供电模块及工作状态。这使得低功耗SoC验证工作变得异常复杂、繁琐且技术要求极高。当前亟需开发一种可靠、易构建、易理解且易于调整的验证方法。IEEE制定的低功耗目标规范标准UPF 3.0引入了低功耗信息模型概念，可有效应对复杂的验证挑战。本文阐述了从低功耗验证视角出发的UPF 3.0信息模型核心概念，基于该模型提出了一种基于HDL语言的低功耗覆盖方法。
2025-07-19 14:39:45
585
原创 UVM重点归纳(一）
本文主要归纳了UVM 中经常用到的工厂机制，phase机制，config机制以及消息管理的重点知识点，以及使用过程中的注意事项。
2022-10-01 19:19:03
1695
原创 异步FIFO实验小结
本小节内容主要针对异步FIFO进行设计验证，内容涵盖了对异步fifo的理解，时钟域的同步，格雷码使用，以及对验证功能点提取，覆盖率收集等内容，后续还会持续完善更多验证内容，以及添加一些面试的高频问题。
2022-09-25 23:57:18
6508
18
原创 MCDF--lab03
实验3 的部分我们主要就随机约束和环境结构做实践。在这一个试验中，大家将升级实验2 部分中对generator 和initiator 之间的数据生成和数据传输的处理，同时我们也将完善何时结束测试，将其主动权交于generator 而不再是test 组件。在组件结构实践部分中，大家将在原有的initiator、generator、agent 和test 组件的基础上再认识monitor 和checker，并且使其构成一个有机的整体，最终可以通过在线比较数据的方式完成对MCDT 的测试。
2022-09-04 15:59:47
696
原创 SV练习--随机约束的多样化(8/31)
该部分练习只要针对随机约束进行，演示了rand/randc和slove...before搭配使用时的概率分布情况以及不同情况下仿真器的优先随机
2022-08-31 22:43:06
485
原创 MCDF--lab02
实验2 的部分我们将主要回顾之前接口、仿真结束、类和包的使用。在这一个试验中,我们将逐渐从使用硬件盒子验证过渡到使用接口和软件盒子(class) 来验证设计。而这一个实验之所以重要也是因为它是硬件验证方式与软件验证方式之间的过渡，同时作为验证环境的启蒙，我们在本实验的最后一个小实验中也能够初步体会到类的继承和层次包含关系，而这些都将作为日后学习高阶UVM 知识的重要基础。......
2022-08-28 22:59:21
775
uart dut 介绍，以及完整的验证功能点提取，uvm验证代码介绍，debugg过程和联调过程，覆盖率收集等
2023-07-15
power policy unit 技术文档
2023-07-04
uart 模块级验证小结
2023-03-09
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人