Dr. S. R. Lasker Library Online Catalogue

Home      Library Home      Institutional Repository      E-Resources      MyAthens      EWU Home

Amazon cover image
Image from Amazon.com

The Verilog hardware description language / Donald E. Thomas, Philip R. Moorby.

By: Thomas, D. E. (Donald E.), 1951-Contributor(s): Moorby, Philip R, 1953-Material type: TextTextLanguage: English Publication details: Norwell, Mass. : Kluwer Academic Publishers, c2002. Edition: 5th edDescription: xx, 381 p. : ill. ; 24 cmISBN: 1402070896; 9781402070891Other title: Thomas & Moorby's the Verilog hardware description language [Cover title]Subject(s): Verilog (Computer hardware description language)DDC classification: 621.395 LOC classification: TK7885.7 | .T48 2002Online resources: Table of contents | WorldCat details | E-book Fulltext
Contents:
TOC From the Old to the New xvii -- 1 Verilog -- A Tutorial Introduction 1 -- A Structural Description 2 -- Simulating the binaryToESeg Driver 4 -- Creating Ports For the Module 7 -- Creating a Testbench For a Module 8 -- Behavioral Modeling of Combinational Circuits 11 -- Procedural Models 12 -- Rules for Synthesizing Combinational Circuits 13 -- Procedural Modeling of Clocked Sequential Circuits 14 -- Modeling Finite State Machines 15 -- Rules for Synthesizing Sequential Systems 18 -- Non-Blocking Assignment ("<=") 19 -- Module Hierarchy 21 -- The Counter 21 -- A Clock for the System 21 -- Tying the Whole Circuit Together 22 -- Tying Behavioral and Structural Models Together 25 -- 2 Logic Synthesis 35 -- Register-Transfer Level Systems 35 -- Combinational Logic Using Gates and Continuous Assign 37 -- Procedural Statements to Specify Combinational Logic 40 -- Complications -- Inferred Latches 42 -- Using Case Statements 43 -- Specifying Don't Care Situations 44 -- Procedural Loop Constructs 46 -- Inferring Sequential Elements 48 -- Latch Inferences 48 -- Flip Flop Inferences 50 -- Inferring Tri-State Devices 52 -- Describing Finite State Machines 53 -- An Example of a Finite State Machine 53 -- An Alternate Approach to FSM Specification 56 -- Finite State Machine and Datapath 58 -- A Simple Computation 58 -- A Datapath For Our System 58 -- Details of the Functional Datapath Modules 60 -- Wiring the Datapath Together 61 -- Specifying the FSM 63 -- Summary on Logic Synthesis 66 -- 3 Behavioral Modeling 73 -- Process Model 73 -- If-Then-Else 75 -- Where Does The ELSE Belong? 80 -- The Conditional Operator 81 -- Loops 82 -- Four Basic Loop Statements 82 -- Exiting Loops on Exceptional Conditions 85 -- Multi-way Branching 86 -- If-Else-If 86 -- Case 86 -- Comparison of Case and If-Else-If 89 -- Casez and Casex 90 -- Functions and Tasks 91 -- A Structural View 100 -- Rules of Scope and Hierarchical Names 102 -- 4 Concurrent Processes 109 -- Events 111 -- Event Control Statement 112 -- Named Events 113 -- The Wait Statement 116 -- A Complete Producer-Consumer Handshake 117 -- Comparison of the Wait and While Statements 120 -- Comparison of Wait and Event Control Statements 121 -- A Concurrent Process Example 122 -- A Simple Pipelined Processor 128 -- The Basic Processor 128 -- Synchronization Between Pipestages 130 -- Disabling Named Blocks 132 -- Intra-Assignment Control and Timing Events 134 -- Procedural Continuous Assignment 136 -- Sequential and Parallel Blocks 138 -- 5 Module Hierarchy 143 -- Module Instantiation and Port Specifications 143 -- Parameters 146 -- Arrays of Instances 150 -- Generate Blocks 151 -- 6 Logic Level Modeling 157 -- Logic Gates and Nets 158 -- Modeling Using Primitive Logic Gates 159 -- Four-Level Logic Values 162 -- Nets 163 -- Continuous Assignment 171 -- Behavioral Modeling of Combination Circuits 172 -- Net and Continuous Assign Declarations 174 -- A Mixed Behavioral/Structural Example 176 -- Logic Delay Modeling 180 -- A Gate Level Modeling Example 181 -- Gate and Net Delays 182 -- Specifying Time Units 185 -- Minimum, Typical, and Maximum Delays 186 -- Delay Paths Across a Module 187 -- Summary of Assignment Statements 189 -- 7 Cycle-Accurate Specification 195 -- Cycle-Accurate Behavioral Descriptions 195 -- Specification Approach 195 -- A Few Notes 197 -- Cycle-Accurate Specification 198 -- Inputs and Outputs of an Always Block 198 -- Input/Output Relationships of an Always Block 199 -- Specifying the Reset Function 202 -- Mealy/Moore Machine Specifications 203 -- A Complex Control Specification 204 -- Data and Control Path Trade-offs 204 -- Introduction to Behavioral Synthesis 209 -- 8 Advanced Timing 211 -- Verilog Timing Models 211 -- Basic Model of a Simulator 214 -- Gate Level Simulation 215 -- Towards a More General Model 215 -- Scheduling Behavioral Models 218 -- Non-Deterministic Behavior of the Simulation Algorithm 220 -- Near a Black Hole 221 -- It's a Concurrent Language 223 -- Non-Blocking Procedural Assignments 226 -- Contrasting Blocking and Non-Blocking Assignments 226 -- Prevalent Usage of the Non-Blocking Assignment 227 -- Extending the Event-Driven Scheduling Algorithm 228 -- Illustrating Non-Blocking Assignments 231 -- 9 User-Defined Primitives 239 -- Combinational Primitives 240 -- Basic Features of User-Defined Primitives 240 -- Describing Combinational Logic Circuits 242 -- Sequential Primitives 243 -- Level-Sensitive Primitives 244 -- Edge-Sensitive Primitives 244 -- Shorthand Notation 246 -- Mixed Level- and Edge-Sensitive Primitives 246 -- 10 Switch Level Modeling 251 -- A Dynamic MOS Shift Register Example 251 -- Switch Level Modeling 256 -- Strength Modeling 256 -- Resistive MOS Gates 262 -- Ambiguous Strengths 263 -- Illustrations of Ambiguous Strengths 264 -- The Underlying Calculations 265 -- The miniSim Example 270 -- The miniSim Source 271 -- Simulation Results 280 -- 11 Projects 283 -- Modeling Power Dissipation 283 -- What to do 284 -- A Floppy Disk Controller 286 -- Disk Format 287 -- Function Descriptions 288 -- Reality Sets In... 291 -- Everything You Always Wanted to Know about CRC's 291 -- Supporting Verilog Modules 292 -- Structural Descriptions 293 -- Testbench Modules 303 -- Combinational Circuits Using always 303 -- Sequential Circuits 305 -- Hierarchical Descriptions 308 -- Operators 310 -- Numbers 310 -- Strings 311 -- Identifiers, System Names, and Keywords 312 -- Appendix C Verilog Operators 315 -- Table of Operators 315 -- Operator Precedence 320 -- Operator Truth Tables 321 -- Expression Bit Lengths 322 -- Appendix D Verilog Gate Types 323 -- Logic Gates 323 -- BUF and NOT Gates 325 -- BUFIF and NOTIF Gates 326 -- MOS Gates 327 -- Bidirectional Gates 328 -- CMOS Gates 328 -- Pullup and Pulldown Gates 328 -- Appendix E Registers, Memories, Integers, and Time 329 -- Registers 329 -- Memories 330 -- Integers and Times 331 -- Appendix F System Tasks and Functions 333 -- Display and Write Tasks 333 -- Continuous Monitoring 334 -- Strobed Monitoring 335 -- File Output 335 -- Simulation Time 336 -- Stop and Finish 336 -- Random 336 -- Reading Data From Disk Files 337 -- Appendix G Formal Syntax Definition 339 -- Tutorial Guide to Formal Syntax Specification 339 -- Declarations 346 -- Primitive instances 351 -- Module and generated instantiation 353 -- UDP declaration and instantiation 355 -- Behavioral statements 355 -- Specify section 359 -- Expressions 365.
Summary: Summary: This text presents the IEEE 1364-2001 standard of the Verilog language. The examples in this edition have been updated to illustrate the features of the language. Engineers and students interested in describing, simulating and synthesizing digital systems should find this a useful resource.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode Item holds
E-Book E-Book Dr. S. R. Lasker Library, EWU
E-book
Non-fiction 621.395 THV 2002 (Browse shelf(Opens below)) Not for loan
Text Text Dr. S. R. Lasker Library, EWU
Reserve Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-1 Not For Loan 14683
CDs & DVDs CDs & DVDs Dr. S. R. Lasker Library, EWU
Audio Visual
Non-fiction 621.395 THV 2002 (Browse shelf(Opens below)) C-1 Available CD-839
Text Text Dr. S. R. Lasker Library, EWU
Reserve Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-2 Not For Loan 14684
CDs & DVDs CDs & DVDs Dr. S. R. Lasker Library, EWU
Audio Visual
Non-fiction 621.395 THV 2002 (Browse shelf(Opens below)) C-2 Available CD-840
Text Text Dr. S. R. Lasker Library, EWU
Reserve Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-3 Not For Loan 14685
Text Text Dr. S. R. Lasker Library, EWU
Circulation Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-4 Available 14686
Text Text Dr. S. R. Lasker Library, EWU
Circulation Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-5 Available 14687
Text Text Dr. S. R. Lasker Library, EWU
Circulation Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-6 Available 14688
Text Text Dr. S. R. Lasker Library, EWU
Circulation Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-7 Available 14689
Text Text Dr. S. R. Lasker Library, EWU
Circulation Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-8 Available 14690
Text Text Dr. S. R. Lasker Library, EWU
Circulation Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-9 Available 14691
Text Text Dr. S. R. Lasker Library, EWU
Circulation Section
Non-fiction 621.395 THV (Browse shelf(Opens below)) C-10 Available 14692
Total holds: 0

Includes index.

TOC From the Old to the New xvii --
1 Verilog --
A Tutorial Introduction 1 --
A Structural Description 2 --
Simulating the binaryToESeg Driver 4 --
Creating Ports For the Module 7 --
Creating a Testbench For a Module 8 --
Behavioral Modeling of Combinational Circuits 11 --
Procedural Models 12 --
Rules for Synthesizing Combinational Circuits 13 --
Procedural Modeling of Clocked Sequential Circuits 14 --
Modeling Finite State Machines 15 --
Rules for Synthesizing Sequential Systems 18 --
Non-Blocking Assignment ("<=") 19 --
Module Hierarchy 21 --
The Counter 21 --
A Clock for the System 21 --
Tying the Whole Circuit Together 22 --
Tying Behavioral and Structural Models Together 25 --
2 Logic Synthesis 35 --
Register-Transfer Level Systems 35 --
Combinational Logic Using Gates and Continuous Assign 37 --
Procedural Statements to Specify Combinational Logic 40 --
Complications --
Inferred Latches 42 --
Using Case Statements 43 --
Specifying Don't Care Situations 44 --
Procedural Loop Constructs 46 --
Inferring Sequential Elements 48 --
Latch Inferences 48 --
Flip Flop Inferences 50 --
Inferring Tri-State Devices 52 --
Describing Finite State Machines 53 --
An Example of a Finite State Machine 53 --
An Alternate Approach to FSM Specification 56 --
Finite State Machine and Datapath 58 --
A Simple Computation 58 --
A Datapath For Our System 58 --
Details of the Functional Datapath Modules 60 --
Wiring the Datapath Together 61 --
Specifying the FSM 63 --
Summary on Logic Synthesis 66 --
3 Behavioral Modeling 73 --
Process Model 73 --
If-Then-Else 75 --
Where Does The ELSE Belong? 80 --
The Conditional Operator 81 --
Loops 82 --
Four Basic Loop Statements 82 --
Exiting Loops on Exceptional Conditions 85 --
Multi-way Branching 86 --
If-Else-If 86 --
Case 86 --
Comparison of Case and If-Else-If 89 --
Casez and Casex 90 --
Functions and Tasks 91 --
A Structural View 100 --
Rules of Scope and Hierarchical Names 102 --
4 Concurrent Processes 109 --
Events 111 --
Event Control Statement 112 --
Named Events 113 --
The Wait Statement 116 --
A Complete Producer-Consumer Handshake 117 --
Comparison of the Wait and While Statements 120 --
Comparison of Wait and Event Control Statements 121 --
A Concurrent Process Example 122 --
A Simple Pipelined Processor 128 --
The Basic Processor 128 --
Synchronization Between Pipestages 130 --
Disabling Named Blocks 132 --
Intra-Assignment Control and Timing Events 134 --
Procedural Continuous Assignment 136 --
Sequential and Parallel Blocks 138 --
5 Module Hierarchy 143 --
Module Instantiation and Port Specifications 143 --
Parameters 146 --
Arrays of Instances 150 --
Generate Blocks 151 --
6 Logic Level Modeling 157 --
Logic Gates and Nets 158 --
Modeling Using Primitive Logic Gates 159 --
Four-Level Logic Values 162 --
Nets 163 --
Continuous Assignment 171 --
Behavioral Modeling of Combination Circuits 172 --
Net and Continuous Assign Declarations 174 --
A Mixed Behavioral/Structural Example 176 --
Logic Delay Modeling 180 --
A Gate Level Modeling Example 181 --
Gate and Net Delays 182 --
Specifying Time Units 185 --
Minimum, Typical, and Maximum Delays 186 --
Delay Paths Across a Module 187 --
Summary of Assignment Statements 189 --
7 Cycle-Accurate Specification 195 --
Cycle-Accurate Behavioral Descriptions 195 --
Specification Approach 195 --
A Few Notes 197 --
Cycle-Accurate Specification 198 --
Inputs and Outputs of an Always Block 198 --
Input/Output Relationships of an Always Block 199 --
Specifying the Reset Function 202 --
Mealy/Moore Machine Specifications 203 --
A Complex Control Specification 204 --
Data and Control Path Trade-offs 204 --
Introduction to Behavioral Synthesis 209 --
8 Advanced Timing 211 --
Verilog Timing Models 211 --
Basic Model of a Simulator 214 --
Gate Level Simulation 215 --
Towards a More General Model 215 --
Scheduling Behavioral Models 218 --
Non-Deterministic Behavior of the Simulation Algorithm 220 --
Near a Black Hole 221 --
It's a Concurrent Language 223 --
Non-Blocking Procedural Assignments 226 --
Contrasting Blocking and Non-Blocking Assignments 226 --
Prevalent Usage of the Non-Blocking Assignment 227 --
Extending the Event-Driven Scheduling Algorithm 228 --
Illustrating Non-Blocking Assignments 231 --
9 User-Defined Primitives 239 --
Combinational Primitives 240 --
Basic Features of User-Defined Primitives 240 --
Describing Combinational Logic Circuits 242 --
Sequential Primitives 243 --
Level-Sensitive Primitives 244 --
Edge-Sensitive Primitives 244 --
Shorthand Notation 246 --
Mixed Level- and Edge-Sensitive Primitives 246 --
10 Switch Level Modeling 251 --
A Dynamic MOS Shift Register Example 251 --
Switch Level Modeling 256 --
Strength Modeling 256 --
Resistive MOS Gates 262 --
Ambiguous Strengths 263 --
Illustrations of Ambiguous Strengths 264 --
The Underlying Calculations 265 --
The miniSim Example 270 --
The miniSim Source 271 --
Simulation Results 280 --
11 Projects 283 --
Modeling Power Dissipation 283 --
What to do 284 --
A Floppy Disk Controller 286 --
Disk Format 287 --
Function Descriptions 288 --
Reality Sets In... 291 --
Everything You Always Wanted to Know about CRC's 291 --
Supporting Verilog Modules 292 --
Structural Descriptions 293 --
Testbench Modules 303 --
Combinational Circuits Using always 303 --
Sequential Circuits 305 --
Hierarchical Descriptions 308 --
Operators 310 --
Numbers 310 --
Strings 311 --
Identifiers, System Names, and Keywords 312 --
Appendix C Verilog Operators 315 --
Table of Operators 315 --
Operator Precedence 320 --
Operator Truth Tables 321 --
Expression Bit Lengths 322 --
Appendix D Verilog Gate Types 323 --
Logic Gates 323 --
BUF and NOT Gates 325 --
BUFIF and NOTIF Gates 326 --
MOS Gates 327 --
Bidirectional Gates 328 --
CMOS Gates 328 --
Pullup and Pulldown Gates 328 --
Appendix E Registers, Memories, Integers, and Time 329 --
Registers 329 --
Memories 330 --
Integers and Times 331 --
Appendix F System Tasks and Functions 333 --
Display and Write Tasks 333 --
Continuous Monitoring 334 --
Strobed Monitoring 335 --
File Output 335 --
Simulation Time 336 --
Stop and Finish 336 --
Random 336 --
Reading Data From Disk Files 337 --
Appendix G Formal Syntax Definition 339 --
Tutorial Guide to Formal Syntax Specification 339 --
Declarations 346 --
Primitive instances 351 --
Module and generated instantiation 353 --
UDP declaration and instantiation 355 --
Behavioral statements 355 --
Specify section 359 --
Expressions 365.

Summary:
This text presents the IEEE 1364-2001 standard of the Verilog language. The examples in this edition have been updated to illustrate the features of the language. Engineers and students interested in describing, simulating and synthesizing digital systems should find this a useful resource.

CSE

Tahur Ahmed

There are no comments on this title.

to post a comment.