日志
- 分享 芯片验证全视之六： 验证的周期（中）
- 我们这节内容将带着大家深入验证周期的一些细节，目的在于更详细地帮助大家了解认知清楚每一个阶段的具体任务和值得注意的地方。 功能详述 对于一个芯片，大到芯片自身，小到可以细分下来的模块，都需要系统工程师给出功能详述文档。我们这里举出较小颗粒度的模块功能详述文档，来看看一个基本大小的 ...
- 分享 芯片验证全视之四： 验证的周期（上）
- 功能验证有着一整套完备的流程，而且从硬件系统定义贯穿到硅后测试部分。一般来讲，一个验证团队会基于时间差同时进行多个项目，多个项目之间自然也存在着借鉴、更新的关系，所以验证的环境和复用性也是在不断提高的。而每一个项目在进行瀑布模式的开发时，验证团队也会在不同细分的流程当中完成每一项任务，同时 ...
- 分享 时钟门控的形式验证方法
- 如今，降低功耗已成为IC设计的主要目标之一，而CMOS IC消耗的功耗主要有两个组成部分：由亚阈值导电引起的漏电流功耗和晶体管开关过程引起的动态功耗。其中，为了最大限度降低动态功耗，我们SoC设计引入了时钟门控，然而，另一方面，这也大大增加了对传统验证方法的挑战，从以下就能看出。 时钟门控逻辑可以通过工具自 ...
- 分享 芯片验证全视之四： 验证的任务和目标
- 对于一名验证师而言，他的工作就是完成分配给他的任务，这个任务可能是 模块级（module level）、子系统级（subsystem level）或者系统级（chip level）的 。准确来讲 验证的目标，就是“按时保质低耗”完成目标硬件设计的验证工作 ，这句话实际也包含了要完成验证目标需要考虑到的三个方面： 按时 ：需要按照项目预先 ...
- 分享 芯片验证全视之三： 验证能力的五个维度
- 可能在贯穿到整个验证系统思想里面，我们都会不断重复验证人员该具备的素质。为了可以将抽象的词汇具象出来，我们列出了验证人员在验证流程中需要具备的五个技术维度。接下来让我分别解释这五个维度： 完备性 ：该维度要求验证的充分。无论你从项目经理、系统人员、设计人员还是验证人员，大家谈验证首先提 ...
- 分享 针对上电复位检查的自动化断言方案
- 验证一个片上系统（ SOC ）的复位方案是非常重要的用以确保器件可以从任何情况下被复位到正常状态。现在，随着许多 IP 模块被集成在一个 SOC 中，复位方案可能就变得非常复杂，即使引入了电源管理设计，这个问题仍然是很复杂的。 这对于验证一个 SOC 系统的复位方案来说是一个重大的挑战。 在低功耗设计中上电 ...
- 分享 参数化IP验证的高度可配置UVM环境
- 参数化的IP设计是一种不断加速的工业趋势，同样的，在有着不同设计参数的SoC工程中使用同一个IP设计也是一种趋势。这些趋势大大推动了IC设计的发展。但与此同时，也需要一种验证方法来适应这种趋势。 一个参数化的IP就是指IP的参数是可以自由配置的，这就意味着在不同的SoC上，IP设计有着不同的参数。设计的参数 ...
- 分享 除了Clock，还有Reset！
- 为了最大程度的缩短SoC的设计验证周期，在现在的SoC设计中集成了大量的IP模块，每个IP模块都有自己的Reset,这样就使得整个SoC层面上的Reset的结构变得比较复杂。例如:电源的Reset,硬件的Reset,软件的Rest,Debug的Reset等等，这些Reset一旦不能正常工作，将会使得SoC变得不稳定，甚至是功能上的失效，这对于我们来说是绝对 ...
- 分享 形式验证如何让你避免把车冲进沟里
- 在汽车工业中排名首位的毫无疑问是安全性，是从根源上加强安全性能。伴随着现代汽车电子器件在汽车部件比重的逐步增加，如何确保硬件、固件、操作系统和应用层的使用安全是一个重要课题。从硬件的观点来看，如果从根源上可以保证硬件系统安全得到保障没有漏洞，那么在此之上建立的固件、操作系统和应用层也会得到根本性保 ...
- 分享 芯片验证全视之二：验证的处境
- 验证的目标讲起来很清晰，就是在一定的时间尽可能多的测试硬件设计，发现设计缺陷并报告出来。同时，验证本身也是一项棘手的挑战。这一点可以从语言发展的属性和EDA工具在验证支持的快速发展上得到佐证。 我们从VHDL的语言发展线路来看，它的标准IEEE Std 1076-1987逐步经历了1076-1993，1076-2002再到1076-2008，这中 ...
/1 
eetop公众号
创芯大讲堂
创芯人才网