Pragmatic Logic

by Eccles, William J.

• ISBN13: 9781598291926
• ISBN10: 1598291920
• Format: Paperback
• Copyright: 2007-04-07
• Publisher: Morgan & Claypool

Summary

Pragmatic Logic presents the analysis and design of digital logic systems. The author begins with a brief study of binary and hexadecimal number systems and then looks at the basics of Boolean algebra. The study of logic circuits is divided into two parts, combinational logic, which has no memory, and sequential logic, which does. Numerous examples highlight the principles being presented. The text ends with an introduction to digital logic design using Verilog, a hardware description language.

Author Biography

Bill Eccles has been Professor of Electrical and Computer Engineering at Rose-Hulman Institute of Technology since 1990 (except for one year at Oklahoma State).

Table of Contents

Foreword	p. xi
Designing Digital Systems: Where are We Going?	p. 1
Design-Up and Down	p. 3
What's a Digital System?	p. 3
Combinational Example	p. 4
Specifications	p. 4
Truth Table	p. 5
Reduction and Simplification	p. 6
Implementation	p. 7
Payment!	p. 8
Sequential Example	p. 8
Specifications	p. 8
State Diagram	p. 9
Transition/Excitation Table	p. 10
Implementation	p. 11
Payment!	p. 11
Documentation	p. 11
Logic Symbols	p. 12
IEEE Standard Symbols	p. 14
Wires and Buses	p. 15
Signal Names and Levels	p. 15
Logic Circuit Families	p. 16
TTL Family	p. 17
CMOS Family	p. 17
Summary	p. 18
Numbers and Arithmetic: Counting 101	p. 19
Decimal	p. 19
Binary	p. 21
Hexadecimal	p. 23
Binary Arithmetic	p. 25
Binary Addition	p. 26
Subtraction and 2's-Complement	p. 26
Codes	p. 28
Summary	p. 30
Boolean Algebra: The Formal Stuff	p. 31
Boolean Beginnings	p. 31
Postulates	p. 31
Theorems	p. 32
Using Boole	p. 34
A Proof	p. 34
Logic Simplification	p. 35
Applying DeMorgan	p. 36
Canonical Forms	p. 37
Definitions	p. 37
Example of Minterms and Maxterms	p. 39
Complements and Conversions	p. 40
Truth Tables	p. 41
Summary	p. 42
Combinational Logic: No Time Like the Present	p. 43
Gates and Symbols	p. 43
Basic Gates	p. 43
Nand and Nor	p. 44
Levels of Logic	p. 47
Logic Circuit Analysis	p. 48
Analysis Example I	p. 48
Analysis Example II	p. 49
Analysis Example III	p. 50
Minimization	p. 51
Map Minimization-Two Variables	p. 52
Map Minimization-Three Variables	p. 55
Map Minimization-Four Variables	p. 57
Map Minimization-Don't-Cares	p. 61
Other Minimization Methods	p. 62
Other Gate Arrangements	p. 62
And-Or and Nand-Nand Circuits	p. 62
Or-And and Nor-Nor Circuits	p. 64
Design Examples	p. 66
Multiplication	p. 66
Flip-Flop Drivers	p. 68
Summary	p. 71
Building Blocks: Bigger Stuff	p. 73
Decoder	p. 73
Minterm Generator	p. 74
Two Applications of Decoders	p. 77
Other Decoders	p. 80
Multiplexer	p. 81
One-Chip Designs	p. 83
Two Applications of Multiplexers	p. 85
Arithmetic	p. 89
Programmable Blocks	p. 92
Read-Only Memory	p. 92
Programmable Logic Device	p. 93
Hazards and Glitches	p. 95
Example of Glitch	p. 95
Hazards	p. 97
Design Example	p. 100
Summary	p. 104
Sequential Circuits: Now You Have Time!	p. 105
Sequential Logic Analysis	p. 105
Flip-Flops	p. 106
Tabular Analysis of Example	p. 109
Analysis Steps	p. 113
Latches and Flip-Flops	p. 113
Inverter Latch	p. 114
Better Latch	p. 115
Debouncing a Switch	p. 116
Altogether	p. 117
Design Elements	p. 118
Design Examples	p. 119
Example I	p. 119
Example II	p. 123
Example III	p. 126
Summary	p. 131
Counters and Registers: More Building Blocks	p. 133
Counters	p. 133
Count 30	p. 138
"Gray" counting	p. 138
Shift Registers	p. 140
Universal Shift Register	p. 141
Ring Counters	p. 142
Random Numbers	p. 145
Another Counter	p. 146
Mealy 'n Moore	p. 148
Parallel-Serial Converter	p. 151
Summary	p. 154
Design a Microwave: Well, the Controller	p. 157
Specifications	p. 158
Basic Functions	p. 158
User Interface	p. 159
Some Additions	p. 160
System Design	p. 160
Finite State Machine	p. 160
Signals	p. 162
Transitions	p. 163
Excitations	p. 165
FSM Circuit	p. 167
Counters and Timers	p. 167
Up Counters	p. 169
Down Counters	p. 171
Do They Work?	p. 174
Display	p. 175
Keyboard Control	p. 177
Complete System	p. 179
Summary	p. 183
Large Systems: Do "Real" Designers Do Boolean?	p. 185
Basic Verilog	p. 186
Structural Form	p. 186
Dataflow Form	p. 188
Behavioral Form	p. 189
Flexible Verilog	p. 192
Coin Adder	p. 192
Multiplication	p. 193
Priority Encoder	p. 195
Assignment	p. 196
Sequential Logic in Verilog	p. 197
Simple Counter	p. 198
Better Counter	p. 199
Another Counter	p. 200
Moore and Mealy	p. 201
Final Example	p. 203
The End	p. 205
Author Biography	p. 207
Table of Contents provided by Ingram. All Rights Reserved.