Design verification with e

"Design verification with e", by Samir Palnitkar details a broad range of e-based topics including modelling, constraint-driven test generation, functional coverage and assertion checking.

"Design verification with e", by Samir Palnitkar details a broad range of e-based topics including modelling, constraint-driven test generation, functional coverage and assertion checking giving the reader a global understanding of verification with the e language.

The e verification language was developed by Verisity to drive the company's market-leading Specman Elite testbench automation solution.

As Specman Elite gained significant market momentum, Verisity began the process of making e an industry standard in 2000 when it created the LicenseE programme to enable third parties to openly access the e verification language.

"Verification is so critical to the success of electronic designs that a book detailing the leading verification language and methodology was long overdue", said Samir Palnitkar, author of "Design verification with e".

"I hope that this book proves to be a valuable reference tool for verification engineers and helps them in their development of verification environments today, as well as giving them useful tips for their environments tomorrow".

The author, Samir Palnitkar, is recognised as an innovator and expert in the field of verification.

Palnitkar is already a successful author, having published an authoritative guide on the Verilog hardware description language, titled "Verilog HDL: a guide to digital design and synthesis, second edition" (Prentice Hall PTR, 2003, ISBN 0130449113).

Palnitkar is President of Jambo Systems, an ASIC design firm specialising in high-speed processors and network chips.

Prior to Jambo, Palnitkar was founder and Vice President of Business Operations at Obongo, an electronic commerce company that was acquired by AOL Time Warner.

He was also founder and President of I2P, a multi-million-dollar semiconductor design and services company that was acquired by Lattice Semiconductor.

Palnitkar has also held key management positions at Sun Microsystems and Hitachi.

"Samir deftly defines the e language and provides informative, educational and useful knowledge of the e language and verification methodology", said Yoav Hollander, founder and Chief Technical Officer for Verisity.

"Samir's book couldn't come at a better time, as the e language makes its way toward industry standardisation.

This book is a must have for any verification engineer today".

"As verification becomes widely recognised as a mission critical problem for electronics companies, Prentice Hall is responding by providing this book that details the widely used e verification language", said Bernard Goodwin, Publisher and Vice President for Prentice Hall PTR.

"Samir's expertise in verification and his previous success as an author lend considerable credibility to this authoritative book".

"Design verification with e" (Prentice Hall PTR, 2004, ISBN 0-13-141309-0) will be available from 15th August 2003 from Prentice Hall PTR for US $89.

Back to top