Skip to content
Home/ E Hardware Verification Language (2004)
E Hardware Verification Language (2004)

E Hardware Verification Language (2004)

by Iman, Sasan
No customer reviews yet ISBN 9781402080234

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 of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-system etc. ) is a key enabling component. This book offers a fresh approach in teaching the e hardware verification language within the context of coverage driven verification methodology. I hope it will help the reader und- stand the many important and interesting topics surrounding hardware verification. Yoav Hollander Founder and CTO, Verisity Inc. Preface This book provides a detailed coverage of the e hardware verification language (HVL), state of the art verification methodologies, and the use of e HVL as a facilitating verification tool in implementing a state of the art verification environment. It includes comprehensive descriptions of the new concepts introduced by the e language, e language syntax, and its as- ciated semantics. This book also describes the architectural views and requirements of verifi- tion environments (randomly generated environments, coverage driven verification environments, etc. ), verification blocks in the architectural views (i. e. generators, initiators, c- lectors, checkers, monitors, coverage definitions, etc. ) and their implementations using the e HVL. Moreover, the e Reuse Methodology (eRM), the motivation for defining such a gui- line, and step-by-step instructions for building an eRM compliant e Verification Component (eVC) are also discussed.

About the author

Product details

Pub dateMay 28, 2004
ISBN-101402080239
ISBN-139781402080234
LanguageEnglish
Last updated 2026-08-29 02:18
$228.98
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Automation
See all
Practical Control Engineering: A Guide for Engineers, Managers, and Practitioners
Koenig, David M
$117.13
Industrial Automation: Hands on
Lamb, Frank
$80.35
Analysis, Design and Evaluation of Man-Machine Systems 1992: Selected Papers from the Fifth Ifac/Ifi
Stassen, H G
$84.56
Application of Artificial Intelligence in Process Control
Available
$114.59
Algorithms and Architectures for Real-Time Control 1998
Garcia, D
$98.42
Algorithms and Architectures for Real-Time Control 2000
<p>The 6th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC'2000) was held at Palma de Mallorca, Spain. The objective, as in previous editions, was to show the state-of-the-art and to present new developments and research results in software and hardware for real-time control, as well as to bring together researchers, developers and practitioners, both from the academic and the industrial world.</p> <p>The AARTC'2000 Technical Program consisted of 11 presented sessions, covering the major areas of software, hardware and applications for real-time control. In particular, sessions adressed robotics, embedded systems, modeling and control, fuzzy logic methods, industrial process control and manufacturing systems, neural networks, parallel and distributed processing, processor architectures for control, software design tools and methodologies, and SCADA and multi-layer control. A total of 38 papers were selected from high-quality full draft papers and late breaking paper contributions (consisting of extended abstracts). Participants from 15 countries attended the AARTC'2000 workshop.</p> <p>The technical program also included two plenary talks given by leading experts in the field. Roger Goodall (Department of Electronic and Electrical Engineering, Loughborough University, UK) presented "Perspectives on processing for real-time control", and Ricardo Sanz (Universidad Politécnica de Madrid, Spain), focused on "CORBA for Control Systems". Another highlight in the program was the final session on industrial presentations which was held in common with the Workshop on Real-Time Programming (WRTP'2000). In this session, Abel Jiménez (Industria de Turbo Propulsores S. A., Spain) presented the "Thrust Vectoring System Control Concept", Ulrich Schmid (Technische Universität Wien, Austria) made a presentation with the title "Applied Research: A Scientist's Perspective", and Harold W. Lawson (Lawson Konsult AB, Sweden) addressed "Systems Engineering of a Successful Train Control System".</p>
$111.13