Book Reviews
they should be handled by the systems designer. These include: • inductance and transient switching currents • power distribution • signal interconnections • transmission line effects
The authors of this book developed VHDL Annotation Language VAL, an extension to VHDL, with the previous statement in mind. At the same time the language supports conceptual design with a behaviorallevel of abstraction.
• clock distribution • device, board and unit interfaces • noise tolerance •
Every successful design should fulfill one major role: conformation to specification. VHDL supports the design, description and simulation of VHSIC components, but lacks the ability for automatic verification of correctness of a design. Introduction of formal specifications separates specific implementation and intended behavior, and enables verification techniques to be implemented.
worse-case timing
• system initialization • memory subsystem design, concluding with two final chapters on using PLDs, FIFOs and other LSI devices, and ASIC application tips. Each chapter stands on its own, so that a reader can go immediately to specific topics without having to read the entire book. Each chapter has its own useful end-of-chapter references.
The first part of the book explains concepts of VAL and its relationships to VHDL in the fields of entity interface, timing and hierarchical description. Numerous graded examples are presented and thoroughly commented upon in the second part. The language reference manual, third part, provides detailed insight into VAL, with special value in explained examples. The final part describes an algorithm for translating VAL annotations into VHDL statements.
Whilst the author warns in his preface that his book cannot provide the answers to all possible BiCMOS/ CMOS system design problems, this is a text book which will be of supreme help to all who are engaged in any form of state-of-the art digital system design. It complements hut does not overlap the author's other book CMOS/TFL Digital System Design, published by McGraw-Hill in 1990.
The book is excellent for those who are interested in principles and concepts, not only in the hardware and software design and verification, but also in all other fields of growing human knowledge.
M. S. Harris
V. B. Litovski and S. Z. Pantic
Title:
Hardware Design and Simulation in VAI_/VHDL
Authors:
L. M. Augustin, D. C. Luckham, B. A. Gennart, Y. Huh and A. G. Stanculescu Kluwer Academic Publishers, Norwell, MA, 1990, 352 pp., £42.95, US$69.95, Dfl.152.00
Publisher:
316
Clear presentations of basic ideas and their gradual evolution through examples are of great help, and can be used as a teaching tool.
Title:
The Verilog Hardware Description Language
Authors: Publisher:
Donald E. Thomas and Philip Moorby Kluwer Academic Publishers, NorweU, MA, 1990, 300 pp., £42.95, US$69.95, Dfl.152.00