掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
基于對偶綜合的解碼器自動生成方法 版權信息
- 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 語法分析程序代碼
參考文獻
后記
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 語法分析程序代碼
參考文獻
后記
展開全部
書友推薦
- >
月亮與六便士
- >
上帝之肋:男人的真實旅程
- >
中國歷史的瞬間
- >
唐代進士錄
- >
莉莉和章魚
- >
巴金－再思錄
- >
二體千字文
- >
山海經
本類暢銷
