集成电路认证

本书共分为8章。第1章介绍了VLSI系统集成。第2章利用形式化证明和代码覆盖分析对植入第三方IP核的硬件木马...

2016.11