Windyeal blog

HiDL中的PreExecute

PreExecute功能用于在测试前添加向量鉴权、relay切换的动作，不支持单独Functional模式，支持Functional+Diag模式。 PreExecute参数 PreExecute：选择是否启用向量鉴权和relay切换的功能，默认为OFF，ON为开启，开启时会显示相关UI界面。 PreLabel_EN：选择向量鉴权的使用位置，默认为OFF，可选ALL、Point、O...

Posted by Hisilcon on April 5, 2025

HiDL中的PostExecute

PostExecute功能用于在测试执行后再执行post向量或进行Reconnect操作，不支持单独Functional模式和Functional+Diag模式。 PostExecute参数 PostExecute：选择是否启用执行Post向量功能或Reconnect功能，默认为OFF，ON为开启，开启时会显示相关UI界面。 PostLabel_EN：选择执行post向量的位置，默...

Posted by Hisilcon on April 4, 2025

HiDL中的Shmoo

Shmoo(SHM) 模式介绍进行Shmoo扫描测试。使用场景：可靠性测试，向量裕量测试。（SCAN,MBIST测试项）参数说明 Y：填入纵轴扫描的spec的变量，默认为Tcoef。 Y轴相关参数如下： SpecType：选择扫描方式RelativeMode或AbsoluteMode，默认为RelativeMode。 UL：填入Y轴扫描的系数上限，默认为1.5。 L...

Posted by Hisilcon on April 3, 2025

HiDL中的VminVmax

VminVmax 模式介绍进行改变电压范围，扫描出device的当前工作最大和最小电压测试。使用场景：多用于可靠性测试，向量裕量测试，release前的数据收集（IP类,CHAIN,SCAN,MBIST测试项）参数说明 VminVmax：填入Vmm的扫描方式，默认为MostSearch，可选MostSearch、BoundarySearch。 Vcoef：填入扫描的leve...

Posted by Hisilcon on April 2, 2025

VMM与Diag

SMT7_HiCBB库中VMM与DIAG的TML

VminVmax+Diag 模式介绍执行VminVmax测试后并在FunctionTest后输出scan result（抓取Fail Cycle）。使用场景：诊断程序测试，RMA诊断(SCAN测试项，抓取Fail cycle） VminVmax部分参数 VminVmax：填入Vmm的扫描方式，默认为MostSearch，可选MostSearch、BoundarySearch。 ...

Posted by Hisilcon on March 30, 2025

Shm与Diag

SMT7_HiCBB库中SHM与DIAG的TML

Shmoo+Diag(SHM+Diag) 模式介绍执行Shmoo测试并在FunctionTest后输出scan result（抓取Fail Cycle）。使用场景：诊断程序测试，RMA诊断(SCAN测试项，抓取Fail cycle） Shmoo部分参数 Y：填入纵轴扫描的spec的变量，默认为Tcoef。 Y轴相关参数如下： SpecType：选择扫描方式RelativeMo...

Posted by Hisilcon on March 28, 2025

VminShm的Diag执行过程

SMT7平台的HiCBB vmin与shm的Mdiag

VMM、SHM的Diag&MemoryDiag执行流程 VMM_Diag执行流程如下 @startuml start partition 此模块执行VMM多site并行执行 { :执行PreExecuteALL; partition 粗扫VMM { :loop_rough=0; while (loop_rough<loop_rough_points) is ...

Posted by Hisilicon on December 5, 2022

「转载」"程序员中的梦想家"

Dreamers among programmers

本文首发于我的知乎专栏 The Little Programmer，转载请保留链接 ;) 有一类程序员是 visionary 型的，为了实现一些超前的 idea，绕过某些技术的限制，他们写的 code 晦涩高深得只有他们自己能懂，做出来的 tool 看上去很美好结果处处是坑出了 bug 根本没法查，但正是这类人不断创造出新的东西，在洗礼之后成为一个个 big thing。我每周...

Posted by Hux on June 30, 2018

「转载」如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

转载自知乎严谨的证明的话，可以使用「形式语言」（Formal language）来证明：在可计算理论和计算复杂度理论中，每个「计算问题」都被描述为一个一个「形式语言」，即字符串的集合。比如对于判断一个图是否是无向连通图这个问题：我们可以写为一个描述所有无向连通图的集合： \[A = \{ \langle G \rangle \vert G \text{ is a conne...

Posted by Hux on December 12, 2017

「转载」关于停机问题

How to explain the Halting Problem?

转载自知乎我用 Python 伪代码来解释下，我觉得对这个问题有兴趣的应该都是有点编程基础的，所以直接上 code 应该是最容易的。背景知识「停机问题」研究的是：是否存在一个「程序」，能够判断另外一个「程序」在特定的「输入」下，是会给出结果（停机），还是会无限执行下去（不停机）。在下文中，我们用「函数」来表示「程序」，「函数返回」即表示给出了结果。正文我们假设...