Connecting pre-silicon and post-silicon verification

机译：连接硅前和硅后验证

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a framework for post-silicon analysis, that provides a formal, bidirectional communication with pre-silicon verification. We show how to exploit the framework to provide a formal guarantee on post-silicon verification accuracy under limited observability. In particular, we partition a pre-silicon assertion checker (with full observability) into (1) a limited-observability checker and (2) an in-silicon integrity unit. The composition of the two units is guaranteed to provide the same accuracy as a pre-silicon checker. We apply the framework in the verification of a cache system.

机译：我们提供了一个用于硅后分析的框架，该框架提供了与硅前验证之间的正式双向通信。我们展示了如何在有限的可观察性下利用该框架为硅后验证的准确性提供正式的保证。特别是，我们将硅前声明检查器（具有完全可观察性）划分为（1）有限可观察性检查器和（2）硅内完整性单元。保证这两个单元的组成提供与预硅检查器相同的精度。我们将该框架应用于缓存系统的验证。

著录项

来源
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》|2009年|160-163|共4页
会议地点 Austin TX(US);Austin TX(US)
作者
Ray S.; Hunt W.A.;
展开▼
作者单位

Dept. of Comput. Sci., Univ. of Texas at Austin, Austin, TX, USA;

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
cache storage; formal logic; formal verification; hardware description languages; cache system verification; in-silicon integrity unit; limited-observability checker; post-silicon verification; pre-silicon assertion checker; pre-silicon verification;

机译：高速缓存存储;形式逻辑;形式验证;硬件描述语言;缓存系统验证;硅内完整性单元;有限可观察性检查器;硅后验证;硅前断言检查器;硅前验证;

相似文献

外文文献
中文文献
专利

1. Symbolic Quick Error Detection for Pre-Silicon and Post-Silicon Validation: Frequently Asked Questions [J] . Eshan Singh, David Lin, Clark Barrett, Computing in Science & Engineering . 2016,第6期

机译：硅前和硅后验证的符号快速错误检测：常见问题
2. Pre-Silicon FEC Decoding Verification on SoC FPGAs [J] . Fernandez Victor, Abad Carlos, Alvarez Angel, IEEE communications letters . 2021,第1期

机译：SoC FPGA上的硅预硅解码验证
3. A pre-silicon logic level security verification flow for higher-order masking schemes against glitches on FPGAs [J] . Li Yanbin, Tang Ming, Li Yuguang, Integration . 2020,第Jana期

机译：用于针对FPGA上的毛刺的高阶屏蔽方案的硅前逻辑级安全验证流程
4. Connecting Pre-silicon and Post-silicon Verification [C] . Sandip Ray, Warren A. Hunt Jr. Conference on Formal Methods in Computer-Aided Design . 2009

机译：连接硅预硅和硅后验证
5. Prototype development and experimental verification of a cast modular connector for seismic-resistant steel frames. [D] . Sumer, Ali. 2006

机译：用于抗震钢框架的铸造模块化连接器的原型开发和实验验证。
6. A debug scheme to improve the error identification in post-silicon validation [O] . Inhyuk Choi, Won Jung, Hyunggoy Oh, 2012

机译：一种调试方案，用于改进硅后验证中的错误识别
7. Connecting Pre-silicon and Post-silicon Verification [O] . Sandip Ray, Warren A. Hunt 2009

机译：连接硅前和硅后验证

Connecting pre-silicon and post-silicon verification

摘要

著录项

相似文献

相关主题

期刊订阅