基于对偶综合的解码器自动生成方法 - 中国高校教材图书网
|
书名： |
基于对偶综合的解码器自动生成方法
|
| ISBN： | 9787567306066 |
条码： | |
| 作者： |
秦莹
相关图书
|
装订： | 0 |
| 印次： | 1-1 |
开本： | 16开 |
| 定价： |
￥64.00
折扣价：￥60.80
折扣：0.95
节省了3.2元
|
字数： |
|
| 出版社： |
国防科技大学出版社 |
页数： |
|
| 发行编号： | |
每包册数： |
|
| 出版日期： |
2022-11-01 |
|
|
| 内容简介： |
|
《基于对偶综合的解码器自动生成方法》对基于白盒模型的对偶综合算法中若干关键问题进行了深入的研究，提出了针对流控和流水线结构的解码器自动生成方法和实现方案。理论分析和实验结果验证了所提出算法的有效性和性能，对于进一步促进对偶综合算法的发展和应用具有理论意义和应用价值。本书主要分为八章：绪论、对偶综合相关研究概述、基于余子式和 Craig 插值的迭代特征化算法、面向流控制的对偶综合、面向流水线的对偶综合、面向流控制和流水线的对偶综合、原型系统的实现、结束语。
|
| 作者简介： |
|
秦莹，主要研究方向包括系统软件、形式化验证。参与了国家级课题10余项，获国家科技进步一等奖1项、省部级奖4项，获国家发明专利和软件著作权登记10余项，发表第一、二作者SCI、EI检索论文20余篇。
|
| 章节目录： |
|
|
| 精彩片段： |
|
|
| 书 评： |
|
|
| 其 它： |
|
|
|
中国大学出版社协会 |
首页 |
宏观指导 |
出版社天地 |
图书代办站 |
教材图书信息 |
教材图书评论 |
在线订购 |
教材征订
