Practical Design Verification

Citation

Howard, W.R. (2010), "Practical Design Verification", Kybernetes, Vol. 39 No. 6, pp. 1078-1078. https://doi.org/10.1108/03684921011046870

This book is presented as a practical guide to formal and simulation‐based functional verification. Like many such guides it mixes the practical element with sufficient theoretical material to help the readers appreciate the tasks that are involved.

To do this, the authors provide discussions about the languages used for hardware verification; how to carry out the checking and correction of system bugs and use an essentially practical approach. As a result many of the established and important issues that arise are covered. The aim being kept clearly in view that techniques used in simulation‐based functional verification can provide an improvement in the efficiency of design, and which will ultimately save costs on any applicative projects. To do this, the authors meticulously explain the detail of their approach highlighting both its formal elements as well as the suggested simulation‐orientated methodologies and those of the techniques used.

Finally, the authors explained the basis for their approach and cite current practices and researches. Readers will recognise the ongoing developments such as the use of modelling at transaction levels as well as the use of “assertion verification” practical strategies. The theory of these suggested approaches are backed up by more formal theoretical explanations with the essential use of diagrammatical and mathematical notations as required.

This is a useful book which covers in some depth the most important issues that occur in design verification.