Items related to Advanced Digital Design with the Verilog HDL

Advanced Digital Design with the Verilog HDL - Hardcover

  • 3.74 out of 5 stars
    68 ratings by Goodreads
 
9780136019282: Advanced Digital Design with the Verilog HDL

Synopsis

 

Advanced Digital Design with the Verilog HDL, 2e, is ideal for an advanced course in digital design for seniors and first-year graduate students in electrical engineering, computer engineering, and computer science.


This book builds on the student's background from a first course in logic design and focuses on developing, verifying, and synthesizing designs of digital circuits. The Verilog language is introduced in an integrated, but selective manner, only as needed to support design examples (includes appendices for additional language details). It addresses the design of several important circuits used in computer systems, digital signal processing, image processing, and other applications.

"synopsis" may belong to another edition of this title.

About the Author

Michael Ciletti is Professor Emeritus in the Department of Electrical and Computer Engineering at the University of Colorado, Colorado Springs. His areas of interest include  Modeling, synthesis and verification of digital systems with hardware description languages, system-level design languages, and embedded systems with FPGAs. He is the author of Advanced Digital Design with the Verilog HDL and the co-author of Digital Design, 4e.

Excerpt. © Reprinted by permission. All rights reserved.

Simplify, Clarify, and Verify

Behavioral modeling with a hardware description language (HDL) is the key to modern design of application-specific integrated circuits (ASICs). Today, most designers use an HDL-based design method to create a high-level, language-based, abstract description of a circuit, synthesize a hardware realization in a selected technology, and verify its functionality and timing.

Students preparing to contribute to a productive design team must know how to use an HDL at key stages of the design flow. Thus, there is a need for a course that goes beyond the basic principles and methods learned in a first course in digital design. This book is written for such a course.

Many books discussing HDLs are now available, but most are oriented toward robust explanations of language syntax, and are not well-suited for classroom use. Our focus is on design methodology enabled by an HDL.

Our goal in this book is to build on a student's background from a first course in logic design by (1) reviewing basic principles of combinational and sequential logic, (2) introducing the use of HDLs in design, (3) emphasizing descriptive styles that will allow the reader to quickly design working circuits suitable for ASICs and/or field-programmable gate array (FPGA) implementation, and (4) providing in-depth design examples using modern design tools. Readers will be encouraged to simplify, clarify, and verify their designs.

The widely used Verilog hardware description language (IEEE Standard 1364) serves as a common framework supporting the design activities treated in this book, but our focus is on developing, verifying, and synthesizing designs of digital circuits, not on the Verilog language. Most students taking a second course in digital design will be familiar with at least one programming language and will be able to draw on that background in reading this textbook. We cover only the core and most widely used features of Verilog. In order to emphasize using the language in a synthesis-oriented design environment, we have purposely placed many details, features, and explanations of syntax in the Appendices for reference on an "as-needed" basis.

Most entry-level courses in digital design introduce state machines, state-transition graphs, and algorithmic-state machine (ASM) charts. We make heavy use of ASM charts and demonstrate their utility in developing behavioral models of sequential machines. The important problem of designing a finite-state machine to control a complex datapath in a digital machine is treated in-depth with ASMD charts (i.e., ASM charts annotated to display the register operations of the controlled datapath). The design of a reduced instruction-set computer central processing unit (RISC CPU) and other important hardware units are given as examples. Our companion website includes the RISC machine's source code and an assembler that can be used to develop programs for applications. The machine also serves as a starting point for developing a more robust instruction set and architectural variants.

The Verilog language is introduced in an integrated, but selective manner, only as needed to support design examples. The text has a large set of examples illustrating how to address the key steps in a very large scale integrated (VLSI) circuit design methodology using the Verilog HDL. Examples are complete, and include source code that has been verified with the Silos-III simulator to be correct. Source code for all of the examples will be available (with important test suites) at our website.

The Intended Audience

This book is for students in an advanced course in digital design, and for professional engineers interested in learning Verilog by example, in the context of its use in the design flow of modern integrated circuits. The level of presentation is appropriate for seniors and first-year graduate students in electrical engineering, computer engineering, and computer science, as well as for professional engineers who have had an introductory course in logic design. The book presumes a basic background in Boolean algebra and its use in logic circuit design and a familiarity with finite-state machines. Building on this foundation, the book addresses the design of several important circuits used in computer systems, digital signal processing, image processing, data transfer across clock domains, built-in self-test (BIST), and other applications. The book covers the key design problems of modeling, architectural tradeoffs, functional verification, timing analysis, test generation, fault simulation, design for testability, logic synthesis, and postsynthesis verification.

Special Features of the Book

  • Begins with a brief review of basic principles in combinational and sequential logic
  • Focuses on modern digital design methodology
  • Illustrates and promotes a synthesis-ready style of register transfer level (RTL) and algorithmic modeling with Verilog
  • Demonstrates the utility of ASM charts for behavioral modeling
  • In-depth treatment of algorithms and architectures for digital machines (e.g., an image processor, digital filters and circular buffers)
  • In-depth treatment of synthesis for cell-based ASICs and FPGAs
  • A practical treatment of timing analysis, fault simulation, testing, and design for testability, with examples
  • Comprehensive treatment of behavioral modeling
  • Comprehensive design examples, including a RISC machine and datapath controller
  • Numerous graphical illustrations
  • Provides several problems with a wide range of difficulty after each chapter
  • Contains a worked example with JTAG and BIST for testing
  • Contains over 250 fully verified examples
  • An indexed list of all models developed in the examples
  • A set of Xilinx FPGA-based laboratory-ready exercises linked to the book (e.g., arithmetic and logic unit ALU, a programmable lock, a key pad scanner with a FIFO, a serial communications link with error correction, an SRAM controller, and first in, first out FIFO memory)
  • Contains an up-to-date chapter on programmable logic device (PLDs) and FPGAs
  • Contains a packaged CD-ROM with the popular Silos-III Verilog design environment and simulator and the Xilinx integrated synthesis environment (ISE) synthesis tool for FPGAs
  • Contains an Appendix with full formal syntax of the Verilog HDL
  • Covers major features of Verilog 2001, with examples
  • Supported by an ongoing website containing:
  1. Source files of models developed in the examples
  2. 2. Source files of testbenches for simulating examples
  3. An Instructor's Classroom Kit containing transparency files for a course based on the subject matter
  4. Solutions to selected problems
  5. Jump-start tutorials helping students get immediate results with the Silos-III simulation environment, the Xilinx FPGA synthesis tool, the Synopsys synthesis tools, and the Synopsys Prime Time static timing analyzer
  6. ASIC standard-cell library with synthesis and timing database
  7. Answers to frequently asked questions (FAQs)
  8. Clever examples submitted by readers
  9. Revisions

Sequences for Course Presentation

The material in the text begins with a review of combinational and sequential logic design, but then progresses in the order dictated by the design flow for an ASIC or an FPGA. Chapters 1 to 6 treat design topics through synthesis, and should be covered in order, but Chapters 7 to 10 can be covered in any order. The homework exercises are challenging, and the laboratory-ready Xilinx-based exercises are suitable for a companion laboratory or for end-of-semester projects. Chapter 10 presents several architectures for arithmetic operations, affording a diversity of coverage. Chapter 11 treats postsynthesis design validation, timing analysis, fault simulation, and design for testability. The coverage of these topics can be omitted, depending on the level and focus of the course. Tools supporting Verilog 2001 are emerging, so an appendix discusses and illustrates the important new features of the language.

Chapter Descriptions

Chapter 1 briefly discusses the role of HDLs in design flows for cell-based ASICs and FPGAs. Chapters 2 and 3 review mainstream topics that would be covered in a first course in digital design, using classical methods (i.e. Karnaugh maps). This material will refresh the reader's background, and the examples will be used later to introduce HDL-based methods of design. Chapters 4 and 5 introduce modeling of combinational and sequential logic with the Verilog HDL, and place emphasis on coding styles that are used in behavioral modeling. Chapter 6 addresses cell-based synthesis of ASICs, and introduces synthesis of combinational and sequential logic. Here we pursue two main objectives: (1) present synthesis-friendly coding styles, and (2) form a foundation that will enable the reader to anticipate the results of synthesis, especially when synthesizing sequential machines. Many sequential machines are partitioned into a datapath and a controller. Chapter 7 covers examples that illustrate how to design a controller for a datapath. The designs of a simple RISC CPU and a UART serve as platforms for the subject matter. Chapter 8 covers PLDs, complex PLDs (CPLDs), ROMs, and static random-access memories (SRAMs), then expands the synthesis target to include FPGAs. Verilog has been used extensively to design computers and signal processors. Chapter 9 treats the modeling and synthesis of computational units and algorithms found in computer architectures, digital filters, and other processors. Chapter 10 develops and refines algorithms and architectures for the arithmetic units of digital machines. In Chapter 11 we use the Verilog HDL in conjunction with fault simulators and timing analyzers to revisit a selection of previously designed machines and consider performance/timing issues and testability...

"About this title" may belong to another edition of this title.

  • PublisherPearson
  • Publication date2010
  • ISBN 10 0136019285
  • ISBN 13 9780136019282
  • BindingHardcover
  • LanguageEnglish
  • Edition number2
  • Number of pages965
  • Rating
    • 3.74 out of 5 stars
      68 ratings by Goodreads

Buy Used

Condition: Good
Ship within 24hrs. Satisfaction... View this item

Shipping: FREE
Within U.S.A.

Destination, rates & speeds

Add to basket

Search results for Advanced Digital Design with the Verilog HDL

International Edition
International Edition

Michael D. Ciletti
Published by Pearson, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
New Softcover
International Edition

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New.SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-281018

Contact seller

Buy New

US$ 34.71
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 19 available

Add to basket

International Edition
International Edition

MICHAEL D CLIETTI
Published by Pearson, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
New Softcover
International Edition

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-13653

Contact seller

Buy New

US$ 34.71
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

International Edition
International Edition

Michael D. Ciletti
Published by Pearson, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
New Soft cover
International Edition

Seller: SellOnline2020, PLAISTOW, NH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Soft cover. Condition: New. 2nd Edition. Brand New International Edition textbook. Some book may show sales disclaimer such as "Not for Sale or Restricted in US" on the cover page but it is absolutely legal to use in US or Canada. Ship from Multiple Locations, including Asia , Hong Kong ,Taiwan , US or Canada depend on stock location. CD/DVD or access codes may not be included. Seller Inventory # 000769

Contact seller

Buy New

US$ 61.80
Convert currency
Shipping: US$ 3.00
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Ciletti, Michael
Published by Pearson (edition 2), 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
Used Hardcover

Seller: BooksRun, Philadelphia, PA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. 2. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0136019285-11-1

Contact seller

Buy Used

US$ 86.62
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ciletti, Michael
Published by Pearson, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
Used Hardcover

Seller: Goodwill of Colorado, COLORADO SPRINGS, CO, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. This item is in overall good condition. Covers and dust jackets are intact but may have minor wear including slight curls or bends to corners as well as cosmetic blemishes including stickers. Pages are intact but may have minor highlighting/ writing. Binding is intact; however, spine may have slight wear overall. Digital codes may not be included and have not been tested to be redeemable and/or active. Minor shelf wear overall. Please note that all items are donated goods and are in used condition. Orders shipped Monday through Friday! Your purchase helps put people to work and learn life skills to reach their full potential. Orders shipped Monday through Friday. Your purchase helps put people to work and learn life skills to reach their full potential. Thank you! Seller Inventory # 466ROY001J69

Contact seller

Buy Used

US$ 88.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ciletti, Michael
Published by Pearson, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
Used Hardcover

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_423056949

Contact seller

Buy Used

US$ 85.04
Convert currency
Shipping: US$ 3.75
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

International Edition
International Edition

Ciletti, Michael D.
Published by Prentice Hall, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
New Softcover
International Edition

Seller: Wal-Store, Frisco, TX, U.S.A.

Seller rating 3 out of 5 stars 3-star rating, Learn more about seller ratings

Softcover. Condition: New. ***International Edition***Soft cover/Paperback*** Textbook printed in English. ***Brand New***. Most international edition has different ISBN and Cover design. Some book may show sales disclaimer such as "Not for Sale or Restricted in US" on the cover page but it is absolutely legal to use. All textbook arrives within 5-7business days. Please provides valid phone number with your order for easy delivery. Seller Inventory # 9780136019282

Contact seller

Buy New

US$ 85.50
Convert currency
Shipping: US$ 4.00
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Michael D. Ciletti
Published by Prentice Hall
ISBN 10: 0136019285 ISBN 13: 9780136019282
Used

Seller: FirstClassBooks, Little Rock, AR, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: Good. Used books cannot guarantee unused access codes or working CD's! Seller Inventory # FAY-202-657

Contact seller

Buy Used

US$ 95.28
Convert currency
Shipping: US$ 4.00
Within U.S.A.
Destination, rates & speeds

Quantity: 3 available

Add to basket

Stock Image

Ciletti, Michael
Published by Pearson, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
New Hardcover

Seller: Textbooks_Source, Columbia, MO, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

hardcover. Condition: New. 2nd Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Seller Inventory # 000898509N

Contact seller

Buy New

US$ 175.15
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Ciletti, Michael D.
Published by Pearson, 2010
ISBN 10: 0136019285 ISBN 13: 9780136019282
New Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5625848-n

Contact seller

Buy New

US$ 270.05
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 5 more copies of this book

View all search results for this book