|
From the Foreword: Building on the first edition, " ...the most successful and popular contemporary verification textbook", the author raises the verification level of abstraction by introducing coverage-driven constrained random transaction-level self-checking testbenches - all made possible through the introduction of hardware verification languages (HVLs) such as e from Verisity and OpenVera from Synopsys...." Harry Foster, Chief Architect, Verplex Systems, Inc. Topics included in the new Second Edition: + Discussions on OpenVera and e; + approaches for writing constrainable random stimulus generators; + strategies for making testbenches self-checking; + a clear blueprint of a verification process that aims for first time success; + recent advances in functional verification such as coverage-driven verification process; + VHDL and Verilog language semantics; + the semantics are presented in new verification-oriented languages + techniques for applying stimulus and monitoring the response of a design; + behavioral modeling using non-synthesizeable constructs and coding style; + updated for Verilog 2001.
The Foundations of Philosophical Semantics Автор: John L. Pollock Год: 1984 |
Journal on Data Semantics XIV (Lecture Notes in Computer Science / Journal on Data Semantics) Автор: Stefano Spaccapietra, Lois Delcambre Год: 2010 |
Syntax, Lexical Semantics, and Event Structure (Oxford Studies in Theoretical Linguistics) Автор: Ivy Sichel, Malka Rappaport Hovav, Edit Doron Год: 2010 |
Syntax, Lexical Semantics, and Event Structure (Oxford Studies in Theoretical Linguistics) Автор: Ivy Sichel, Malka Rappaport Hovav, Edit Doron Год: 2010 |
Functional analysis Автор: Suhubi E. Год: 2003 |