计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2009年
11期
1661-1666
,共6页
软错误率%组合逻辑电路%时序逻辑电路%语法分析%高可靠
軟錯誤率%組閤邏輯電路%時序邏輯電路%語法分析%高可靠
연착오솔%조합라집전로%시서라집전로%어법분석%고가고
soft error rate%combinational logic circuit%sequential logic circuit%syntax analysis%high reliability
为在设计阶段快速评估集成电路的软错误率,以指导高可靠集成电路的设计,提出一种适用于组合逻辑电路和时序逻辑电路组合逻辑部分的快速软错误率自动分析平台HSECT-ANLY.采用精确的屏蔽概率计算模型来分析软错误脉冲在电路中的传播;用向量传播和状态概率传播的方法来克服重汇聚路径的影响,以提高分析速度;使用LL(k)语法分析技术自动解析Verilog网表,使分析过程自动化,且使得本平台可分析时序电路的组合逻辑部分.开发工作针对综合后Verilog网表和通用的标准单元库完成,使得HSECT-ANLY的实用性更强.对ISCAS'85和ISCAS'89 Benchmark电路进行分析实验的结果表明:文中方法取得了与同类文献相似的结果,且速度更快,适用电路类型更多,可自动分析电路的软错误率并指导高可靠集成电路的设计.
為在設計階段快速評估集成電路的軟錯誤率,以指導高可靠集成電路的設計,提齣一種適用于組閤邏輯電路和時序邏輯電路組閤邏輯部分的快速軟錯誤率自動分析平檯HSECT-ANLY.採用精確的屏蔽概率計算模型來分析軟錯誤脈遲在電路中的傳播;用嚮量傳播和狀態概率傳播的方法來剋服重彙聚路徑的影響,以提高分析速度;使用LL(k)語法分析技術自動解析Verilog網錶,使分析過程自動化,且使得本平檯可分析時序電路的組閤邏輯部分.開髮工作針對綜閤後Verilog網錶和通用的標準單元庫完成,使得HSECT-ANLY的實用性更彊.對ISCAS'85和ISCAS'89 Benchmark電路進行分析實驗的結果錶明:文中方法取得瞭與同類文獻相似的結果,且速度更快,適用電路類型更多,可自動分析電路的軟錯誤率併指導高可靠集成電路的設計.
위재설계계단쾌속평고집성전로적연착오솔,이지도고가고집성전로적설계,제출일충괄용우조합라집전로화시서라집전로조합라집부분적쾌속연착오솔자동분석평태HSECT-ANLY.채용정학적병폐개솔계산모형래분석연착오맥충재전로중적전파;용향량전파화상태개솔전파적방법래극복중회취로경적영향,이제고분석속도;사용LL(k)어법분석기술자동해석Verilog망표,사분석과정자동화,차사득본평태가분석시서전로적조합라집부분.개발공작침대종합후Verilog망표화통용적표준단원고완성,사득HSECT-ANLY적실용성경강.대ISCAS'85화ISCAS'89 Benchmark전로진행분석실험적결과표명:문중방법취득료여동류문헌상사적결과,차속도경쾌,괄용전로류형경다,가자동분석전로적연착오솔병지도고가고집성전로적설계.
A novel SER analysis platform,called HSECT-ANLY,was developed to rapidly calculate the soft error rate (SER) of integrated circuits for the design of high reliable integrated circuits.HSECT-ANLY is suitable for the automated SER analysis of both the pure combinational logic circuits and the combinational part of sequential logic circuit.It uses accurate masking probability model to characterize the propagating of soft error glitches and uses input vector propagating and state probability propagating technique to overcome the deficiency of reconvergent paths with considerable speed gains.LL(k) syntax analysis technique is employed to parse the Verilog netlist to automate the analysis process and make the combinational part of sequential logic circuit analyzable.The platform was developed based on synthesized Verilog netlist and common standard cell library,which made it more practical than the other tools.By using HSECT-ANLY,experiments were carried out on ISCAS'85 and ISCAS'89 benchmark circuits and comparable results to the previous works were got with faster speed and more applicable circuit types.Experimental results show that the technique is appropriate to analyze the SER of module circuits and to direct the design of high reliability integrated circuits.