发明名称 高可靠性数字集成电路设计方法
摘要 一种高可靠性数字电路的设计方法,在用传统EDA设计流程得到网表文件后,将网表转换为超图,并基于超图的细粒度划分方法,允许设计者仅通过按传统EDA方法描述电路,以及指定某种故障防卫技术以及某种可靠性指标,即可以自动的完成向电路中添加所指定的故障防卫技术,以得到具有高可靠性的容错电路的数字集成电路。
申请公布号 CN100543757C 申请公布日期 2009.09.23
申请号 CN200710177070.4 申请日期 2007.11.09
申请人 北京航空航天大学 发明人 周密;尚利宏;张炯;金惠华
分类号 G06F17/50(2006.01)I 主分类号 G06F17/50(2006.01)I
代理机构 代理人
主权项 1. 一种高可靠性数字电路的设计方法,包括用硬件描述语言描述要设计的目标电路,对所述目标电路进行综合,得到相应的电路的网表形式的描述,以及对以所述网表形式描述的电路进行布局和布线,并将其映射到物理器件的步骤,其特征在于所述高可靠性数字电路的设计方法,在综合得到网表和对网表进行布局布线的步骤之间,还包括以下步骤:选择三模冗余技术作为故障防卫技术,选择平均无故障时间作为可靠性指标;将网表形式的数字电路设计描述转换为超图;依据由所述故障防卫技术以及所述可靠性指标而建立该可靠性指标随超图的特征参数而变化的函数将所述函数作为超图划分的目标函数,对所述超图进行划分,得到具有最佳划分的超图;其中,为平均无故障时间,R(t)为采用三模冗余技术的电路的整体可靠性,随时间t变化;c为电路的超边割的数量,取决于划分区数和划分方式;k为划分区的数量;ai为第i个划分区的大小;λ为电路单位面积的故障率;以及对所述最佳划分的超图,应用所述故障防卫技术进行防护,并将所得的新的超图转换回网表形式的数字电路设计描述,被转换回网表形式的数字电路设计描述对应于具有高可靠性的数字电路。
地址 100083北京市海淀区学院路37号