SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications Second Edition

The first edition of this book was well received, and the readers provided many a good suggestion on further elaboration of language semantics. Readers also pointed out some errata on the language syntax. I am greatly indebted to the readers and colleagues for their input and support. In addition, the IEEE 1800-2012 LRM came along. Many features of the 2012 LRM were missing in the first edition, since the LRM was not ready yet. This edition incorporates the errata/suggestions from readers as well as the IEEE 1800-2012 feature set. Among many, features such as ‘checkers,’ ‘let declarations,’ past and future global clock sampled value functions, strong and weak properties, abort properties, and ‘.triggered’ end point detection method are included. Furthermore, this edition adds many more examples and adds further clarification of the semantic nuances of the language.

جهت استعلام قیمت و سفارش چاپ این محصول لطفا با انتشارات گنج حضور تماس حاصل فرمایید