...
机译:基于正式方法的单事件瞬态耐受组合电路的合成
Polytech Montreal Elect Engn Dept Grp Rech Microelect &
Microsyst Montreal PQ Canada;
Concordia Univ Elect &
Comp Dept Montreal PQ Canada;
Polytech Montreal Elect Engn Dept Grp Rech Microelect &
Microsyst Montreal PQ Canada;
Single event transients (SETs); Soft errors; Reliability-aware synthesis; Combinational circuits; Satisfiability modulo theories (SMT); All-solution SMT; Post-layout;
机译:基于正式方法的单事件瞬态耐受组合电路的合成
机译:一种基于布局的单事件瞬态注入新方法,用于评估大型金属氧化物半导体散装技术中大型组合电路的软错误率
机译:基于标准单元的组合电路中的单一事件多次瞬态
机译:通过设计技术强化辐射,以减轻组合逻辑电路中的单事件瞬变
机译:用于混合信号延迟锁定环(DLL)和时钟电路的单事件瞬态建模和缓解技术。
机译:准确表征数字电路中单事件瞬变的基础架构
机译:基于模块冗余的容错组合电路的方法和体系结构