包邮基于对偶综合的解码器自动生成方法

作者：秦莹

出版社：国防科技大学出版社出版时间：2022-11-01

开本：其他页数： 166

本类榜单：工业技术销量榜

中图价:¥47.1(7.4折) 定价 ~~¥64.0~~ 登录后可看到会员价

暂时缺货收藏

开年大促， 全场包邮

?新疆、西藏除外

本类五星书更多>

>
公路车宝典(ZINN的公路车维修与保养秘籍)

公路车宝典(ZINN的公路车维修与保养秘籍)

¥69.6¥120
>
晶体管电路设计(下)

晶体管电路设计(下)

¥25.7¥38
>
基于个性化设计策略的智能交通系统关键技术

基于个性化设计策略的智能交通系统关键技术

¥34.3¥68
>
花样百出:贵州少数民族图案填色

花样百出:贵州少数民族图案填色

¥17.2¥45
>
山东教育出版社有限公司技术转移与技术创新历史丛书中国高等技术教育的苏化(1949—1961)以北京地区为中心

山东教育出版社有限公司技术转移与技术创新历史丛书中国高等技术教育的苏化(1949—1961)以北京地区为中心

¥12.7¥39
>
铁路机车概要.交流传动内燃.电力机车

铁路机车概要.交流传动内燃.电力机车

¥158.4¥198
>
利维坦的道德困境:早期现代政治哲学的问题与脉络

利维坦的道德困境:早期现代政治哲学的问题与脉络

¥31.9¥49

商品详情
商品评论(0条)

中图价:¥47.1 暂时缺货

版权信息
内容简介
目录

基于对偶综合的解码器自动生成方法版权信息

ISBN：9787567306066
条形码：9787567306066 ; 978-7-5673-0606-6
装帧：一般轻型纸
册数：暂无
重量：暂无
所属分类：
工业技术
>
电子通信

基于对偶综合的解码器自动生成方法内容简介

　　《基于对偶综合的解码器自动生成方法》对基于白盒模型的对偶综合算法中的若干关键问题进行了深入的研究，提出了针对编码器中流控制和流水线结构的解决方案。理论分析和实验结果验证了所提出算法的有效性和性能，对于进一步促进对偶综合算法的发展和应用具有一定的理论意义和应用价值。

基于对偶综合的解码器自动生成方法目录

第1章绪论
1．1 背景知识
1．1．1 基本记法
1．1．2 基于命题逻辑的可满足性问题
1．1．3 有限状态机
1．1．4 基于迁移关系（函数）展开的形式化验证算法的一般性原理
1．2 对偶综合研究现状
1．2．1 早期的充分非完备算法
1．2．2 完备停机算法
1．2．3 在对偶综合领域的其他相关工作
1．3 基于白盒模型的对偶综合
1．3．1 研究意义
1．3．2 面临的挑战
1．4 研究内容与创新点
1．5 本书组织结构

第2章对偶综合相关研究概述
2．1 对偶综合
2．2 程序求反
2．3 超属性模型检验
2．4 协议转换
2．5 可满足赋值遍历和量词削减
2．6 基于Craig插值的逻辑综合算法
2．7 本章小结

第3章基于余子式和Craig插值的迭代特征化算法
3．1 引言
3．2 Craig插值的原理和实现
3．2．1 相关背景知识和记法
3．2．2 不可满足证明
3．2．3 Craig插值算法
3．3 非迭代的特征化算法
3．4 迭代的特征化算法
3．5 可选的BDD整理和化简
3．6 本章小结

第4章面向流控制的对偶综合
4．1 引言
……
第5章面向流水线的对偶综合
第6章面向流控制和流水线的对偶综合
第7章原型系统的实现
第8章结束语
附录1 词法分析程序代码
附录2 语法分析程序代码
参考文献
后记

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐