資料介紹
Preface
Acknowledgments
1 Introduction
1.1 Problem Specification
1.2 Communication Channels
1.3 Communication Protocols
1.4 Graphical Representations
1.5 Delay-Insensitive Circuits
1.6 Huffman Circuits
1.7 Muller Circuits
1.8 Timed Circuits
1.9 Verification
1.10 Applications
1.11 Let's Get Started
1.12 Sources
Problems
2 Communication Channels
2.1 Basic Structure
2.2 Structural Modeling in VHDL
2.3 Control Structures
2.3.1 Selection
2.3.2 Repetition
2.4 Deadlock
2.5 Probe
2.6 Parallel Communication
2.7 Example: MiniMIPS
2.7.1 VHDL Specification
2.7.2 Optimized MiniMIPS
2.8 Sources
Problems
3 Communication Protocols
3.1 Basic Structure
3.2 Active and Passive Ports
3.3 Handshaking Expansion
3.4 Reshuffling
3.5 State Variable Insertion
3.6 Data Encoding
3.7 Example: Two Wine Shops
3.8 Syntax-Directed Translation
3.9 Sources
Problems
4 Graphical Representations
4.1 Graph Basics
4.2 Asynchronous Finite State Machines
4.2.1 Finite State Machines and Flow Tables
4.2.2 Burst-Mode State Machines
4.2.3 Extended Burst-Mode State Machines
4.3 Petri Nets
4.3.1 Ordinary Petri Nets
4.3.2 Signal Transition Graphs
4.4 Timed Event/Level Structures
4.5 Sources
Problems
5 Huffman Circuits
5.1 Solving Covering Problems
5.1.1 Matrix Reduction Techniques
5.1.2 Bounding
5.1.3 Termination
5.1.4 Branching
5.2 State Minimization
5.2.1 Finding the Compatible Pairs
5.2.2 Finding the Maximal Compatibles
5.2.3 Finding the Prime Compatibles
5.2.4 Setting Up the Covering Problem
5.2.5 Forming the Reduced Flow Table
5.3 State Assignment
5.3.1 Partition Theory and State Assignment
5.3.2 Matrix Reduction Method
5.3.3 Finding the Maximal Intersectibles
5.3.4 Setting Up the Covering Problem
5.3.5 Fed-Back Outputs as State Variables
5.4 Hazard-Free Two-Level Logic Synthesis
5.4.1 Two-Level Logic Minimization
5.4.2 Prime Implicant Generation
5.4.3 Prime Implicant Selection
5.4.4 Combinational Hazards
5.5 Extensions for MIC Operation
5.5.1 Transition Cubes
5.5.2 Function Hazards
5.5.3 Combinational Hazards
5.5.4 Burst-Mode Transitions
5.5.5 Extended Burst-Mode Transitions
5.5.6 State Minimization
5.5.7 State Assignment
5.5.8 Hazard-Free Two-Level Logic Synthesis
5.6 Multilevel Logic Synthesis
5.7 Technology Mapping
5.8 Generalized C-Element Implementation
5.9 Sequential Hazards
5.10 Sources
Problems
6 Muller Circuits
6.1 Formal Definition of Speed Independence
6.1.1 Subclasses of Speed-Independent Circuits
6.1.2 Some Useful Definitions
6.2 Complete State Coding
6.2.1 Transition Points and Insertion Points
6.2.2 State Graph Coloring
6.2.3 Insertion Point Cost Function
6.2.4 State Signal Insertion
6.2.5 Algorithm for Solving CSC Violations
6.3 Hazard-Free Logic Synthesis
6.3.1 Atomic Gate Implementation
6.3.2 Generalized C-Element Implementation
6.3.3 Standard C-Implementation
6.3.4 The Single-Cube Algorithm
6.4 Hazard-Free Decomposition
6.4.1 Insertion Points Revisited
6.4.2 Algorithm for Hazard-Free Decomposition
6.5 Limitations of Speed-Independent Design
6.6 Sources
Problems
7 Timed Circuits
7.1 Modeling Timing
7.2 Regions
7.3 Discrete time
7.4 Zones
7.5 POSET Timing
7.6 Timed Circuits
7.7 Sources
Problems
8 Verification
8.1 Protocol Verification
8.1.1 Linear-Time Temporal Logic
8.1.2 Time-Quantified Requirements
8.2 Circuit Verification
8.2.1 Trace Structures
8.2.2 Composition
8.2.3 Canonical Trace Structures
8.2.4 Mirrors and Verification
8.2.5 Strong Conformance
8.2.6 Timed Trace Theory
8.3 Sources
Problems
9 Applications
9.1 Brief History of Asynchronous Circuit Design
9.2 An Asynchronous Instruction-Length Decoder
9.3 Performance Analysis
9.4 Testing Asynchronous Circuits
9.5 The Synchronization Problem
9.5.1 Probability of Synchronization Failure
9.5.2 Reducing the Probability of Failure
9.5.3 Eliminating the Probab
Acknowledgments
1 Introduction
1.1 Problem Specification
1.2 Communication Channels
1.3 Communication Protocols
1.4 Graphical Representations
1.5 Delay-Insensitive Circuits
1.6 Huffman Circuits
1.7 Muller Circuits
1.8 Timed Circuits
1.9 Verification
1.10 Applications
1.11 Let's Get Started
1.12 Sources
Problems
2 Communication Channels
2.1 Basic Structure
2.2 Structural Modeling in VHDL
2.3 Control Structures
2.3.1 Selection
2.3.2 Repetition
2.4 Deadlock
2.5 Probe
2.6 Parallel Communication
2.7 Example: MiniMIPS
2.7.1 VHDL Specification
2.7.2 Optimized MiniMIPS
2.8 Sources
Problems
3 Communication Protocols
3.1 Basic Structure
3.2 Active and Passive Ports
3.3 Handshaking Expansion
3.4 Reshuffling
3.5 State Variable Insertion
3.6 Data Encoding
3.7 Example: Two Wine Shops
3.8 Syntax-Directed Translation
3.9 Sources
Problems
4 Graphical Representations
4.1 Graph Basics
4.2 Asynchronous Finite State Machines
4.2.1 Finite State Machines and Flow Tables
4.2.2 Burst-Mode State Machines
4.2.3 Extended Burst-Mode State Machines
4.3 Petri Nets
4.3.1 Ordinary Petri Nets
4.3.2 Signal Transition Graphs
4.4 Timed Event/Level Structures
4.5 Sources
Problems
5 Huffman Circuits
5.1 Solving Covering Problems
5.1.1 Matrix Reduction Techniques
5.1.2 Bounding
5.1.3 Termination
5.1.4 Branching
5.2 State Minimization
5.2.1 Finding the Compatible Pairs
5.2.2 Finding the Maximal Compatibles
5.2.3 Finding the Prime Compatibles
5.2.4 Setting Up the Covering Problem
5.2.5 Forming the Reduced Flow Table
5.3 State Assignment
5.3.1 Partition Theory and State Assignment
5.3.2 Matrix Reduction Method
5.3.3 Finding the Maximal Intersectibles
5.3.4 Setting Up the Covering Problem
5.3.5 Fed-Back Outputs as State Variables
5.4 Hazard-Free Two-Level Logic Synthesis
5.4.1 Two-Level Logic Minimization
5.4.2 Prime Implicant Generation
5.4.3 Prime Implicant Selection
5.4.4 Combinational Hazards
5.5 Extensions for MIC Operation
5.5.1 Transition Cubes
5.5.2 Function Hazards
5.5.3 Combinational Hazards
5.5.4 Burst-Mode Transitions
5.5.5 Extended Burst-Mode Transitions
5.5.6 State Minimization
5.5.7 State Assignment
5.5.8 Hazard-Free Two-Level Logic Synthesis
5.6 Multilevel Logic Synthesis
5.7 Technology Mapping
5.8 Generalized C-Element Implementation
5.9 Sequential Hazards
5.10 Sources
Problems
6 Muller Circuits
6.1 Formal Definition of Speed Independence
6.1.1 Subclasses of Speed-Independent Circuits
6.1.2 Some Useful Definitions
6.2 Complete State Coding
6.2.1 Transition Points and Insertion Points
6.2.2 State Graph Coloring
6.2.3 Insertion Point Cost Function
6.2.4 State Signal Insertion
6.2.5 Algorithm for Solving CSC Violations
6.3 Hazard-Free Logic Synthesis
6.3.1 Atomic Gate Implementation
6.3.2 Generalized C-Element Implementation
6.3.3 Standard C-Implementation
6.3.4 The Single-Cube Algorithm
6.4 Hazard-Free Decomposition
6.4.1 Insertion Points Revisited
6.4.2 Algorithm for Hazard-Free Decomposition
6.5 Limitations of Speed-Independent Design
6.6 Sources
Problems
7 Timed Circuits
7.1 Modeling Timing
7.2 Regions
7.3 Discrete time
7.4 Zones
7.5 POSET Timing
7.6 Timed Circuits
7.7 Sources
Problems
8 Verification
8.1 Protocol Verification
8.1.1 Linear-Time Temporal Logic
8.1.2 Time-Quantified Requirements
8.2 Circuit Verification
8.2.1 Trace Structures
8.2.2 Composition
8.2.3 Canonical Trace Structures
8.2.4 Mirrors and Verification
8.2.5 Strong Conformance
8.2.6 Timed Trace Theory
8.3 Sources
Problems
9 Applications
9.1 Brief History of Asynchronous Circuit Design
9.2 An Asynchronous Instruction-Length Decoder
9.3 Performance Analysis
9.4 Testing Asynchronous Circuits
9.5 The Synchronization Problem
9.5.1 Probability of Synchronization Failure
9.5.2 Reducing the Probability of Failure
9.5.3 Eliminating the Probab
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- CB-90 MR Type 用戶手冊(cè): Circuit Design
- CB-40 LR Type 用戶手冊(cè): Circuit Design
- CB-90 MR Type 用戶手冊(cè): Circuit Design
- NI_Circuit_Design_Suite_Pro_v10_電路設(shè)計(jì)軟件 3次下載
- RF circuit design theory and application(射頻電路設(shè)計(jì)) 391次下載
- Secrets of RF Circuit Design 0次下載
- Phase-Locked Loop Circuit Design 0次下載
- Circuit Design with VHDL 0次下載
- CMOS Logic Circuit Design
- 原則異步電路設(shè)計(jì)--以系統(tǒng)觀點(diǎn) 0次下載
- Principles of Asynchronous Cir 0次下載
- HM-65162 pdf datasheet (2K x 8
- Microwave Solid State Circuit
- RF circuit design: Basics
- ALLEGRO DESIGN ENTRY HDL SI XL 0次下載
- 如何在AMD Vivado? Design Tool中用工程模式使用DFX流程? 496次閱讀
- PCB設(shè)計(jì)的可制造性和可組裝性 870次閱讀
- 圖解UART與COM接口 3263次閱讀
- 如何將Qt Design Studio工程轉(zhuǎn)換為Qt Creator工程 4676次閱讀
- 如何在Qt Design Studio中創(chuàng)建連接和狀態(tài) 2082次閱讀
- 如何應(yīng)用Material Design 3和Material You 4629次閱讀
- Material Design指南中更新的相關(guān)內(nèi)容 1858次閱讀
- 用Elaborated Design優(yōu)化RTL的代碼 4974次閱讀
- 圖形界面介紹:GUI上的按鍵是Design Browser 3348次閱讀
- 在貼片加工廠中有哪些安全防護(hù)需要了解 1306次閱讀
- 復(fù)合放大器實(shí)現(xiàn)高精度的高輸出驅(qū)動(dòng)能力 獲得最佳的性能 1600次閱讀
- 用降壓型穩(wěn)壓器或線性穩(wěn)壓器電源時(shí)值來(lái)會(huì)為負(fù)載供電 984次閱讀
- Vivado Design Suite 2017.1的五大方法介紹 4591次閱讀
- Altium Design在word中的原理圖出現(xiàn)錯(cuò)位現(xiàn)象解決方案 4633次閱讀
- ic設(shè)計(jì)需要看哪些書_數(shù)字ic設(shè)計(jì)經(jīng)典書籍推薦 2.1w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7藍(lán)牙設(shè)備在嵌入式領(lǐng)域的廣泛應(yīng)用
- 0.63 MB | 3次下載 | 免費(fèi)
- 89天練會(huì)電子電路識(shí)圖
- 5.91 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論
查看更多