本书详细论述了门级信息流跟踪方法的基础理论与应用。首先介绍该方法的基本原理, 包括门级信息流跟踪逻辑的性质定理、形式化描述、生成算法与复杂度理论、设计优化问题 ; 然后介绍该方法的应用原理、设计方法学、设计与验证环境, 以及该方法在开关电路设计等相关领域的应用等内容。