作者：
出版社： 哈尔滨工业大学出版社
CIP号：2017202733
书号：978-7-5603-6882-5
出版地：哈尔滨
出版时间：2017.8
定价：￥48
本书首先讨论确保异步电路时序高可靠性的理论基础，其次介绍了基本电路功能模块的通用设计方法，以及相应的时序仿真算法。本书采用整数规划的框架对电路生成及优化问题进行建模，并提出了快速有效的算法对该问题进行求解。