《基于对偶综合的解码器自动生成方法》（订购）

秦莹 著

国防科技大学出版社

2022年11月出版

　　出版背景

　　随着传输带宽的进一步提升，对编码后信号01平衡和游程长度的统计特性要求也日益严格。这向传统的动态模拟验证方法的完备性提出了严峻挑战。国防科技大学的解码器自动生成研究小组于2009年首次提出了对偶综合的概念和基本的算法实现，从一个通信协议的编码器源代码中，自动产生其对应的解码器代码。以此为起点，集成电路设计自动化领域的研究者们在该领域取得了大量的研究成果。

　　内容简介

　　《基于对偶综合的解码器自动生成方法》对基于白盒模型的对偶综合算法中若干关键问题进行了深入的研究，提出了针对流控和流水线结构的解码器自动生成方法和实现方案。理论分析和实验结果验证了所提出算法的有效性和性能，对于进一步促进对偶综合算法的发展和应用具有理论意义和应用价值。本书主要分为八章：绪论、对偶综合相关研究概述、基于余子式和Craig插值的迭代特征化算法、面向流控制的对偶综合、面向流水线的对偶综合、面向流控制和流水线的对偶综合、原型系统的实现、结束语。

　　本书的主要研究内容和创新点包括以下几个方面：

　　第一，研究了基于余子式和Craig插值的迭代特征化算法。

　　第二，研究了针对流控制的对偶综合算法。

　　第三，研究了针对流水线结构的对偶综合算法。

　　第四，研究了能够同时处理流控制和流水线结构的对偶综合算法。

　　作者简介

　　秦莹，主要研究方向包括系统软件、形式化验证。参与了国家级课题10余项，获国家科技进步一等奖1项、省部级奖4项，获国家发明专利和软件著作权登记10余项，发表第一、二作者SCI、EI检索论文20余篇。

来源：国防科技大学出版社