目前译丛中已出版87种图书。下面介绍的是FPGA领域的图书。
本书将理论基础的阐述与实用设计方法的介绍紧密结合,通过举例,说明了FPGA设计的安全性问题是如何解决的。为了透彻理解FPGA系统在运行中的风险和生命周期等一系列问题,本书从如何编写顶层设计的形式化说明书开始,一直讲到低层硬件电路的强化机制,分多个层面对FPGA安全性问题和解决方案进行了全面的阐述。作者将近年来在计算机安全性理论、语言、编译器和硬件等领域中的进展,与FPGA设计中安全性的考虑作为一个整体予以阐述,从而创建了一套静态和动态分析互相配合的多样化设计技术,使得用商业化芯片构建的FPGA系统有可能成为一个稳定、可靠、经得起考验的强健系统。
图书详情