模拟验证论文

论文摘要等效性检验不同于通常的假设检验问题。。它关于参数的原假设涉及的不是一个点,而是变成一个区间,比简单假设检验更符合实际,已经广泛应用于许多行业和部门,诸如国产品是否可以代...

论文摘要随着工艺尺寸的不断缩减,工作时钟频率的不断提高,单粒子瞬态（SingleEventTransient,SET）逐渐超过单粒子翻转（SingleEventUpset,SE...

论文题目:超大规模集成电路形式验证的方法研究论文类型:博士论文论文专业:电路与系统作者:卢永江导师:严晓浪关键词:模拟验证,形式验证,等价性验证,二叉决策图,可满足性,割集,锁...

本文主要研究内容作者苏欣,刘啸,帅海山（2019）在《核电站1RIS029VP泄漏深入分析》一文中研究指出：针对1RIS029VP阀门本体外漏,根据运行技术规范的要求以及阀门功...