Skip to main content
  • Textbook
  • © 2011

Digital System Test and Testable Design

Using HDL Models and Architectures

  • Describes test methods in Verilog and PLI, which makes the methods more understandable and the gates possible to simulate
  • Simulation of gate models allows fault simulation and test generation, while Verilog testbenches inject faults, evaluate fault coverage and apply new test patterns
  • Describes DFT, compression, decompression, and BIST techniques in Verilog, which makes the hardware of the architectures easier to understand and allows simulation and evaluation of the testability methods
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 119.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xvii
  2. Basics of Test and Role of HDLs

    • Zainalabedin Navabi
    Pages 1-20
  3. Verilog HDL for Design and Test

    • Zainalabedin Navabi
    Pages 21-62
  4. Fault and Defect Modeling

    • Zainalabedin Navabi
    Pages 63-101
  5. Fault Simulation Applications and Methods

    • Zainalabedin Navabi
    Pages 103-142
  6. Test Pattern Generation Methods and Algorithms

    • Zainalabedin Navabi
    Pages 143-174
  7. Deterministic Test Generation Algorithms

    • Zainalabedin Navabi
    Pages 175-212
  8. Design for Test by Means of Scan

    • Zainalabedin Navabi
    Pages 213-259
  9. Standard IEEE Test Access Methods

    • Zainalabedin Navabi
    Pages 261-294
  10. Logic Built-in Self-test

    • Zainalabedin Navabi
    Pages 295-344
  11. Test Compression

    • Zainalabedin Navabi
    Pages 345-373
  12. Memory Testing by Means of Memory BIST

    • Zainalabedin Navabi
    Pages 375-391
  13. Back Matter

    Pages 393-435

About this book

This book is about digital system testing and testable design. The concepts of testing and testability are treated together with digital design practices and methodologies. The book uses Verilog models and testbenches for implementing and explaining fault simulation and test generation algorithms. Extensive use of Verilog and Verilog PLI for test applications is what distinguishes this book from other test and testability books. Verilog eliminates ambiguities in test algorithms and BIST and DFT hardware architectures, and it clearly describes the architecture of the testability hardware and its test sessions. Describing many of the on-chip decompression algorithms in Verilog helps to evaluate these algorithms in terms of hardware overhead and timing, and thus feasibility of using them for System-on-Chip designs. Extensive use of testbenches and testbench development techniques is another unique feature of this book. Using PLI in developing testbenches and virtual testers provides a powerful programming tool, interfaced with hardware described in Verilog. This mixed hardware/software environment facilitates description of complex test programs and test strategies.

Authors and Affiliations

  • Dept. Electrical & Computer, Engineering, Worcester Polytechnic Institute, Worcester, USA

    Zainalabedin Navabi

About the author

About the Author Dr. Zainalabedin Navabi is a professor of electrical and computer engineering at Worcester Polytechnic Institute. Dr. Navabi is the author of several textbooks and computer based trainings on VHDL, Verilog and related tools and environments. Dr. Navabi’s involvement with hardware description languages begins in 1976, when he started the development of a register-transfer level simulator for one of the very first HDLs. In 1981 he completed the development of a synthesis tool that generated MOS layout from an RTL description. Since 1981, Dr. Navabi has been involved in the design, definition and implementation of Hardware Description Languages. He has written numerous papers on the application of HDLs in simulation, synthesis and test of digital systems. He started one of the first full HDL courses at Northeastern University in 1990. Since then he has conducted many short courses and tutorials on this subject in the United States and abroad. In addition to being a professor, he is also a consultant to CAE companies. Dr. Navabi received his M.S. and Ph.D. from the University of Arizona in 1978 and 1891, and his B.S. from the University of Texas at Austin in 1975. He is a senior member of IEEE, a member of IEEE Computer Society, member of ASEE, and ACM.

Bibliographic Information

  • Book Title: Digital System Test and Testable Design

  • Book Subtitle: Using HDL Models and Architectures

  • Authors: Zainalabedin Navabi

  • DOI: https://doi.org/10.1007/978-1-4419-7548-5

  • Publisher: Springer New York, NY

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business Media, LLC 2011

  • Hardcover ISBN: 978-1-4419-7547-8Published: 20 December 2010

  • Softcover ISBN: 978-1-4899-7927-8Published: 23 August 2016

  • eBook ISBN: 978-1-4419-7548-5Published: 10 December 2010

  • Edition Number: 1

  • Number of Pages: XVII, 435

  • Topics: Circuits and Systems, Mathematics, general, Philosophy, general

Buy it now

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 119.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access