I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal

Verification isjob one in today's modem design process. Statistics tell us that the verification process takes up a majority of the overall work. Chips that com

Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verificat

As part of the Modern Semiconductor Design series, this book details a broad range of e-based topics including modelling, constraint-driven test generation, fun

Methods for detecting logical errors in computer hardware designs using symbolic manipulation instead of digital simulation are discussed. A non-procedural regi