中图网

>

电子通信

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

作者：秦莹

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

开本：其他页数： 166

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

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

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
湖南省志(1978-2002)?铁路志

湖南省志(1978-2002)?铁路志

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

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

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

晶体管电路设计(下)

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

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

¥48.6¥68
>
德国克虏伯与晚清火:贸易与仿制模式下的技术转移

德国克虏伯与晚清火:贸易与仿制模式下的技术转移

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

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

¥19.1¥45
>
识木:全球220种木材图鉴

识木:全球220种木材图鉴

¥159.6¥228

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

中图价:¥46.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条)

写书评赚书币

暂无评论……

书友推荐