基于形式化方法的VHDL开发策略

作者：白晨; 安书董; 李明

来源：长江信息通信, 2021, 34(07): 66-71.

• 相似冗余容错
• 共模故障
• 形式化方法
• VHDL

高安全高可靠的相似冗容错架构善于容忍各通道独立产生的错误,因此设计正确的拜占庭容错计算机出现的主要故障为共模故障。减少共模故障最经济最有效的阶段是整个设计和开发阶段。基于形式化方法的VHDL开发策略将基于常规VHDL的自伤而下的数字设计和综合方法与形式规范和验证相结合。此策略是将形式化方法的强大技术过渡到通用数字工程领域的最佳方法。将验证体系结构关键元素和进行VHDL仿真相结合,可有效避免共模故障。