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

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