ASIC中触发器三模冗余的自动设计与验证,刘必慰,,单粒子翻转是航天电子系统中的重要可靠性问题之一,三模冗余是单粒子翻转的有效加固方法。但是目前三模冗余的实现一般都是通过手