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