|
题名:
|
门级信息流分析理论及应用 [ 专著] men ji xin xi liu fen xi li lun ji ying yong / 胡伟，慕德俊著 , |
|
ISBN:
|
978-7-03-042370-2 价格： CNY72.00 |
|
语种:
|
chi |
|
载体形态:
|
210页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2014 |
|
内容提要:
|
本书论述了门级信息流跟踪方法的基础理论与应用。首先介绍该方法的基本原理，包括门级信息流跟踪逻辑的性质定理、形式化描述、生成算法与复杂度理论、设计优化问题；然后介绍该方法的应用原理、设计方法学、设计与验证环境，以及该方法在开关电路设计等相关领域的应用等内容，并提出了一些供参考的研究方向。 |
|
主题词:
|
信息安全 |
|
中图分类法:
|
TP309 版次： 5 |
|
主要责任者:
|
胡伟 hu wei 著 |
|
主要责任者:
|
慕德俊 mu de jun 著 |
|
索书号:
|
TP309/21 |