System-on-a-chip (SoC) has become an essential technique to lower product costs and maximize power efficiency, particularly as the mobility and size requirements of electronics continues to grow. It has therefore become increasingly important for electrical engineers to develop a strong understanding of the key stages of hardware description language (HDL) design flow based on cell-based libraries or field-programmable gate array (FPGA) devices. Honed and revisedthrough years of classroom use, Lin focuses on developing, verifying, and synthesizing designs of practical digital systems using the most widely used hardware description Language: Verilog HDL. Explains how to perform synthesis and verification to achieve optimized synthesis results and compiler timesOffers complete coverage of Verilog syntaxIllustrates the entire design and verification flow using an FPGA case studyPresents real-world design examples such as LED and LCD displays, GPIO, UART, timers, and CPUsEmphasizes design/implementation tradeoff options, with coverage of ASICs and FPGAsProvides an introduction to design for testabilityGives readers deeper understanding by using problems and review questions in each chapterComes with downloadable Verilog HDL sourcecode for most examples in the textIncludes presentation slides of all book figures for student reference Digital System Designs and Practices Using VerilogHDL and FPGAs is an ideal textbook for either fundamental or advanced digitaldesign courses beyond the digital logic design level. Design engineers who want to become more proficient users of Verilog HDL as well as design FPGAs withgreater speed and accuracy will find this book indispensable. INDICE: PREFACE.CHAPTER 1 INTRODUCTION.1.1 Introduction.1.2 Introduction to Verilog.1.3 Module Modeling Styles.1.4 Simulation.CHAPTER 2 STRUCTURAL MODELING.2.1 Gate-Level Modeling.2.2 Gate Delays.2.3 Hazards.2.4 Switch-Level Modeling.CHAPTER 3 DATAFLOW MODELING.3.1 Dataflow Modeling.3.2 Operands.3.3 Operators.CHAPTER 4 BEHAVIORAL MODELING.4.1 Procedural Constructs.4.2 Procedural Assignments.4.3 Timing Control.4.4 Selection Statements.4.5 Iterative (Loop) Statements.CHAPTER 5 TASKS, FUNCTIONS AND UDPS.5.1 Tasks.5.2 Functions.5.3 System Tasks and Functions.5.4 User-Defined Primitives.CHAPTER 6 HIERARCHICAL STRUCTURAL MODELING.6.1 Module.6.2 generate Statement.6.3 Configurations.CHAPTER 7 ADVANCED MODELING TECHNIQUES.7.1 Sequential and Parallel Blocks.7.2 Procedural Continuous Assignments.7.3 Delay Models and Timing Checks.7.4 Compiler Directives.CHAPTER 8 COMBINATIONAL LOGIC MODULES.8.1 Decoders.8.2 Encoders.8.3 Multiplexers.8.4 Demultiplexers.8.5 Magnitude Comparators.8.6 A Case Study: Seven-Segment LED Display.CHAPTER 9 SEQUENTIAL LOGIC MODULES.9.1 Flip-Flops.9.2 Memory Elements.9.3 Shift Registers.9.4 Counters.9.5 Sequence Generators.9.6 Timing Generators.CHAPTER 10 DESIGN OPTIONS OF DIGITAL SYSTEMS.10.1 Design Options of Digital Systems.10.2 PLD Modeling.10.3 CPLD.10.4 FPGA.10.5 Practical Issues.11 SYSTEM DESIGN METHODOLOGY.11.1 Finite-State Machine.11.2 RTL Design.11.3 RTL Implementation Options.11.4 A Case Study: Liquid-Crystal Displays.CHAPTER 12 SYNTHESIS.12.1 Design Flow of ASICs and FPGA-Based Systems.12.2 Design Environment and Constraints.12.3 Logic Synthesis.12.4 Language Structure Synthesis.12.5Coding Guidelines.CHAPTER 13 VERIFICATION.13.1 Functional Verification.13.2 Simulation.13.3 Test Bench Design.13.4 Dynamic Timing Analysis.13.5 Static Timing Analysis.13.6 Value Change Dump (VCD) Files.13.7 A Case Study: FPGA-Based Design and Verification Flow.CHAPTER 14 ARITHMETIC MODULES.14.1 Addition and Subtraction.14.2 Multiplication.14.3 Division.14.4 Arithmetic and Logic Unit.14.5 Digital-Signal Processing Modules.CHAPTER 15 DESIGN EXAMPLES.15.1 Bus.15.2 Data Transfer.15.3 General-Purpose Input and Output.15.4 Timers.15.5 Universal Asynchronous Receiver and Transmitter.15.6 A Simple CPU Design.16 DESIGN FOR TESTABILITY.16.1 Fault Models.16.2 Test Vector Generation.16.3 Testable CircuitDesign.16.4 System-Level Testing.APPENDIX A VERILOG HDL SYNTAX.A.1 Keywords.A.2 Source Syntax.A.3 Declarations.A.4 Primitive Instances.A.5 Module and Generated Instantiation.A.6 UDP Declaration and Instantiation.A.7 Behavioral Statements.A.8 Specify Section.A.9 Expressions.A.10 General.INDEX.
- ISBN: 978-0-470-82325-5
- Editorial: John Wiley & Sons
- Encuadernacion: Rústica
- Fecha Publicación: 27/03/2012
- Nº Volúmenes: 1
- Idioma: Inglés