FPGA安全性设计指南

本书通过理论阐述结合实用设计的方式，通过举例，说明FPGA设计的安全性问题如何进行解决。作者从如何编写顶层设计的形式化说明开始，逐步涉及低层硬件电路的各项强化机制，并分多个层面对FPGA安全性问题和解决方案进行全面的阐述。作者结合近年来在计算机安全性理论、编程语言、编译器和硬件设计等领域中的最新进展，与FPGA设计中的安全性问题作为一个整体予以阐述，创建了一整套静态和动态分析互相配合的多样化设计技术，使得使用商业芯片构建的FPGA系统有可能成为一个稳定、可靠、安全的强健系统。