Preface 

ix  


1  (32) 


1  (2) 


3  (2) 


5  (2) 

Octal and Hexadecimal Numbers 


7  (2) 


9  (4) 


13  (3) 


16  (8) 

Binary Storage and Registers 


24  (3) 


27  (6) 

Boolean Algebra and Logic Gates 


33  (31) 


33  (1) 

Axiomatic Definition of Boolean Algebra 


34  (3) 

Basic Theorems and Properties of Boolean Algebra 


37  (3) 


40  (4) 

Canonical and Standard Forms 


44  (7) 


51  (3) 


54  (5) 


59  (5) 


64  (47) 


64  (6) 


70  (4) 


74  (2) 

Product of Sums Simplification 


76  (4) 


80  (2) 

NAND and NOR Implementation 


82  (7) 

Other TwoLevel Implementations 


89  (5) 


94  (5) 

Hardware Description Language (HDL) 


99  (12) 


111  (56) 


111  (1) 


112  (3) 


115  (4) 


119  (10) 


129  (2) 


131  (2) 


133  (1) 


134  (5) 


139  (2) 


141  (6) 

HDL For Combinational Circuits 


147  (20) 

Synchronous Sequential Logic 


167  (50) 


167  (2) 


169  (3) 


172  (8) 

Analysis of Clocked Sequential Circuits 


180  (10) 

HDL For Sequential Circuits 


190  (8) 

State Reduction and Assignment 


198  (5) 


203  (14) 


217  (38) 


217  (2) 


219  (8) 


227  (5) 


232  (7) 


239  (5) 

HDL for Registers and Counters 


244  (11) 

Memory and Programmable Logic 


255  (36) 


255  (1) 


256  (6) 


262  (5) 

Error Detection and Correction 


267  (3) 


270  (6) 


276  (4) 


280  (3) 

Sequential Programmable Devices 


283  (8) 


291  (51) 

Register Transfer Level (RTL) Notation 


291  (2) 

Register Transfer Level in HDL 


293  (6) 

Algorithmic State Machines (ASM) 


299  (5) 


304  (6) 

HDL Description of Design Example 


310  (7) 


317  (4) 


321  (5) 

HDL Description of Binary Multiplier 


326  (3) 


329  (13) 

Asynchronous Sequential Logic 


342  (56) 


342  (2) 


344  (8) 


352  (8) 


360  (7) 

Reduction of State and Flow Tables 


367  (7) 

RaceFree State Assignment 


374  (5) 


379  (5) 


384  (14) 

Digital Integrated Circuits 


398  (39) 


398  (2) 


400  (4) 

BipolarTransistor Characteristics 


404  (4) 


408  (2) 

TransistorTransistor Logic (TTL) 


410  (10) 

EmitterCoupled Logic (ECL) 


420  (1) 

MetalOxide Semiconductor (MOS) 


421  (2) 


423  (4) 

CMOS Transmission Gate Circuits 


427  (3) 

SwitchLever Modeling With HDL 


430  (7) 


437  (45) 

Introduction to Experiments 


437  (5) 

Binary and Decimal Numbers 


442  (3) 


445  (1) 

Simplification of Boolean Functions 


446  (2) 


448  (2) 


450  (2) 


452  (1) 


453  (3) 


456  (2) 


458  (2) 


460  (1) 


461  (4) 


465  (1) 


465  (2) 


467  (4) 


471  (2) 

Parallel Adder and Accumulator 


473  (2) 


475  (3) 

Asynchronous Sequential Circuits 


478  (1) 

Verilog HDL Simulation Experiments 


478  (4) 


482  (19) 

RectangularShape Symbols 


482  (3) 


485  (2) 


487  (2) 

Symbols For Combinational Elements 


489  (2) 


491  (2) 


493  (3) 


496  (2) 


498  (3) 
Answers to Selected Problems 

501  (10) 
Index 

511  