基于模型的安全比较核设计

作者：刘明端; 穆建成; 马连川; 尚麟宇

来源：沈阳建筑大学学报(自然科学版), 2011, (04): 792-797.

• Simulink HDL Coder
• FPGA
• 2乘2取2
• 安全比较核 Simulink HDL Coder
• 2*2-out-of-2
• safe compare core

目的研究安全比较核的结构,并应用于2乘2取2结构的安全系统.方法利用Simu-link和其相关工具对安全比较核进行建模与验证,使用Simulink HDL Coder对所建模型进行自动代码生成,将生成的代码和工程应用于Altera Cyclone II系列的EP2C5T144芯片进行实物测试,在FPGA上将其实现基于模型的设计.结果便于产品的修改和维护.设计过程不需要编写代码,相比于传统的设计方法节省了近50%的时间,有着更高的可靠性,并且在FPGA资源的消耗上减少了约10%.结论基于模型的设计方法在设计流程的任何阶段都可以对模型进行修改,而不会影响之前的工作,有着极高的效率.标准化的自动代码...

• 单位
  轨道交通控制与安全国家重点实验室; 北京交通大学; 电子信息工程学院