Verilog HDL_图书大全
Verilog HDL
副标题: a guide to digital design and synthesis
ISBN: 9780130449115
出版社: Prentice Hall
出版年: 2003-3-3
页数: 496
定价: USD 115.00
装帧: Hardcover
内容简介
Verilog HDL is a language for digital design, just as C is a language for programming. This complete Verilog HDL reference progresses from the basic Verilog concepts to the most advanced concepts in digital design. Palnitkar covers the gamut of Verilog HDL fundamentals, such as gate, RTL, and behavioral modeling, all the way to advanced concepts, such as timing simulation, switch level modeling, PLI, and logic synthesis. Verilog HDL is a hardware description language (with a user community of more than 50,000 active designers) used to design and document electronic systems. This completely updated reference progresses from basic to advanced concepts in digital design, including timing simulation, switch level modeling, PLI, and logic synthesis.
作者简介
About the Author
Samir Palnitkar is currently the President of Jambo Systems, Inc., a leading ASIC design and verification services company which specializes in high-end designs for microprocessor, networking, and communications applications. Mr. Palnitkar is a serial entrepreneur. He was the founder of Integrated Intellectual Property, Inc., an ASIC company that was acquired by Lattice Semiconductor, Inc. Later he founded Obongo, Inc., an e-commerce software firm that was acquired by AOL Time Warner, Inc.
Mr. Palnitkar holds a Bachelor of Technology in Electrical Engineering from Indian Institute of Technology, Kanpur, a Master's in Electrical Engineering from University of Washington, Seattle, and an MBA degree from San Jose State University, San Jose, CA.
Mr. Palnitkar is a recognized authority on Verilog HDL, modeling, verification, logic synthesis, and EDA-based methodologies in digital design. He has worked extensively with design and verification on various successful microprocessor, ASIC, and system projects. He was the lead developer of the Verilog framework for the shared memory, cache coherent, multiprocessor architecture, popularly known as the UltraSPARCTM Port Architecture, defined for Sun's next generation UltraSPARC-based desktop systems. Besides the UltraSPARC CPU, he has worked on a number of diverse design and verification projects at leading companies including Cisco, Philips, Mitsubishi, Motorola, National, Advanced Micro Devices, and Standard Microsystems.
Mr. Palnitkar was also a leading member of the group that first experimented with cycle-based simulation technology on joint projects with simulator companies. He has extensive experience with a variety of EDA tools such as Verilog-NC, Synopsys VCS, Specman, Vera, System Verilog, Synopsys, SystemC, Verplex, and Design Data Management Systems.
Mr. Palnitkar is the author of three US patents, one for a novel method to analyze finite state machines, a second for work on cycle-based simulation technology and a third(pending approval) for a unique e-commerce tool. He has also published several technical papers. In his spare time, Mr. Palnitkar likes to play cricket, read books, and travel the world.
目录
Copyright
About the Author
List of Figures
List of Tables
List of Examples
Foreword
Preface
Who Should Use This Book
How This Book Is Organized
Conventions Used in This Book
Acknowledgments
Part 1. Basic Verilog Topics
Chapter 1. Overview of Digital Design with Verilog HDL
Section 1.1. Evolution of Computer-Aided Digital Design
Section 1.2. Emergence of HDLs
Section 1.3. Typical Design Flow
Section 1.4. Importance of HDLs
Section 1.5. Popularity of Verilog HDL
Section 1.6. Trends in HDLs
Chapter 2. Hierarchical Modeling Concepts
Section 2.1. Design Methodologies
Section 2.2. 4-bit Ripple Carry Counter
Section 2.3. Modules
Section 2.4. Instances
Section 2.5. Components of a Simulation
Section 2.6. Example
Section 2.7. Summary
Section 2.8. Exercises
Chapter 3. Basic Concepts
Section 3.1. Lexical Conventions
Section 3.2. Data Types
Section 3.3. System Tasks and Compiler Directives
Section 3.4. Summary
Section 3.5. Exercises
Chapter 4. Modules and Ports
Section 4.1. Modules
Section 4.2. Ports
Section 4.3. Hierarchical Names
Section 4.4. Summary
Section 4.5. Exercises
Chapter 5. Gate-Level Modeling
Section 5.1. Gate Types
Section 5.2. Gate Delays
Section 5.3. Summary
Section 5.4. Exercises
Chapter 6. Dataflow Modeling
Section 6.1. Continuous Assignments
Section 6.2. Delays
Section 6.3. Expressions, Operators, and Operands
Section 6.4. Operator Types
Section 6.5. Examples
Section 6.6. Summary
Section 6.7. Exercises
Chapter 7. Behavioral Modeling
Section 7.1. Structured Procedures
Section 7.2. Procedural Assignments
Section 7.3. Timing Controls
Section 7.4. Conditional Statements
Section 7.5. Multiway Branching
Section 7.6. Loops
Section 7.7. Sequential and Parallel Blocks
Section 7.8. Generate Blocks
Section 7.9. Examples
Section 7.10. Summary
Section 7.11. Exercises
Chapter 8. Tasks and Functions
Section 8.1. Differences between Tasks and Functions
Section 8.2. Tasks
Section 8.3. Functions
Section 8.4. Summary
Section 8.5. Exercises
Chapter 9. Useful Modeling Techniques
Section 9.1. Procedural Continuous Assignments
Section 9.2. Overriding Parameters
Section 9.3. Conditional Compilation and Execution
Section 9.4. Time Scales
Section 9.5. Useful System Tasks
Section 9.6. Summary
Section 9.7. Exercises
Part 2. Advanced VerilogTopics
Chapter 10. Timing and Delays
Section 10.1. Types of Delay Models
Section 10.2. Path Delay Modeling
Section 10.3. Timing Checks
Section 10.4. Delay Back-Annotation
Section 10.5. Summary
Section 10.6. Exercises
Chapter 11. Switch-Level Modeling
Section 11.1. Switch-Modeling Elements
Section 11.2. Examples
Section 11.3. Summary
Section 11.4. Exercises
Chapter 12. User-Defined Primitives
Section 12.1. UDP basics
Section 12.2. Combinational UDPs
Section 12.3. Sequential UDPs
Section 12.4. UDP Table Shorthand Symbols
Section 12.5. Guidelines for UDP Design
Section 12.6. Summary
Section 12.7. Exercises
Chapter 13. Programming Language Interface
Section 13.1. Uses of PLI
Section 13.2. Linking and Invocation of PLI Tasks
Section 13.3. Internal Data Representation
Section 13.4. PLI Library Routines
Section 13.5. Summary
Section 13.6. Exercises
Chapter 14. Logic Synthesis with Verilog HDL
Section 14.1. What Is Logic Synthesis?
Section 14.2. Impact of Logic Synthesis
Section 14.3. Verilog HDL Synthesis
Section 14.4. Synthesis Design Flow
Section 14.5. Verification of Gate-Level Netlist
Section 14.6. Modeling Tips for Logic Synthesis
Section 14.7. Example of Sequential Circuit Synthesis
Section 14.9. Exercises
Chapter 15. Advanced Verification Techniques
Section 15.1. Traditional Verification Flow
Section 15.2. Assertion Checking
Section 15.3. Formal Verification
Section 15.4. Summary
Part 3. Appendices
Appendix A. Strength Modeling and Advanced Net Definitions
Section A.1. Strength Levels
Section A.2. Signal Contention
Section A.3. Advanced Net Types
Appendix B. List of PLI Routines
Section B.1. Conventions
Section B.2. Access Routines
Section B.3. Utility (tf_) Routines
Appendix C. List of Keywords, System Tasks, and Compiler Directives
Section C.1. Keywords
Section C.2. System Tasks and Functions
Section C.3. Compiler Directives
Appendix D. Formal Syntax Definition
Section D.1. Source Text
Section D.2. Declarations
Section D.3. Primitive Instances
Section D.4. Module and Generated Instantiation
Section D.5. UDP Declaration and Instantiation
Section D.6. Behavioral Statements
Section D.7. Specify Section
Section D.8. Expressions
Section D.9. General
Endnotes
Appendix E. Verilog Tidbits
Origins of Verilog HDL
Interpreted, Compiled, Native Compiled Simulators
Event-Driven Simulation, Oblivious Simulation
Cycle-Based Simulation
Fault Simulation
General Verilog Web sites
Architectural Modeling Tools
High-Level Verification Languages
Simulation Tools
Hardware Acceleration Tools
In-Circuit Emulation Tools
Coverage Tools
Assertion Checking Tools
Equivalence Checking Tools
Formal Verification Tools
Appendix F. Verilog Examples
Section F.1. Synthesizable FIFO Model
Section F.2. Behavioral DRAM Model
Bibliography
Manuals
Books
Quick Reference Guides
About the CD-ROM
Using the CD-ROM
Technical Support
