【摘 要】
：
概率转移矩阵（Probabilistic Transfer Matrix,PTM）方法是一种能够在门级比较精确地估计差错对电路可靠性影响的方法,但目前其实现方法只能适用于较小规模的电路.本文引入了电
论文部分内容阅读
概率转移矩阵（Probabilistic Transfer Matrix,PTM）方法是一种能够在门级比较精确地估计差错对电路可靠性影响的方法,但目前其实现方法只能适用于较小规模的电路.本文引入了电路划分的思想,先把电路分割成一组适宜用原始PTM方法直接计算其可靠度的模块,然后计算出这些模块的可靠度,再依据串行可靠度模型,将所有模块可靠度合成为整个电路的可靠度.本文用实验的方法通过对74系列电路的分析得到了合适的电路分割参数,即分割宽度,再进一步对ISCAS85基准电路进行了可靠度的计算,结果表明新方法可
其他文献
本文根据疑问词和谓语的距离信息对问句进行细致的句型分析，然后对答句进行浅层句法分析，在此基础上，抽取出问题特征集、答句特征集和组合特征集作为分类特征，引入最大熵模型和支
量子可逆逻辑电路综合是以较小量子代价自动构造所求量子可逆逻辑电路．本文提出了一种新颖高效的4量子电路综合算法，巧妙构造置换的最短编码，通过对量子电路进行特定拓扑变换，无
随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求，多核并行程序验证的重要性日益凸显．本文提出了一个完整的基于多核的并行程序验证框架，该验证框架包括抽象机器定义
本文介绍了一种在需求阶段分析风险的方法．该方法以Tropos模型中的目标图为基础提出了基于Tropos的需求关系框架，识别了需求过程中的风险因素：干系人，环境，技术和需求复杂度，并以此