用于自校验数据通路的可靠系统规范
硬件体系结构
2011-11-09 v1
摘要
可靠电路的设计过去一直备受关注，由此定义了几种设计技术，在用于关键应用/环境的系统中引入了故障检测和容错特性。此类设计方法在不同抽象层级上解决了该问题，从开关级到逻辑级、寄存器传输级，直至最近的系统级。本文旨在介绍一种新颖的系统级技术，该技术基于对系统规范中算子功能的重定义。该技术为系统数据通路提供可靠性属性，且对设计者透明。我们在一个 FIR 电路上研究了该技术的可行性、故障覆盖率、性能降级和开销。
引用
@article{arxiv.0710.4685,
title = {Reliable System Specification for Self-Checking Data-Paths},
author = {C. Bolchini and F. Salice and D. Sciuto and L. Pomante},
journal= {arXiv preprint arXiv:0710.4685},
year = {2011}
}
评论
Submitted on behalf of EDAA (http://www.edaa.com/)