€ 0,00 0 Buch dabei,
Klick ins Buch Effective Functional Verification als Buch

Effective Functional Verification

Principles and Processes. Auflage 2006. Sprache: Englisch.
Buch (gebunden)
This book on Effective Functional Verification will enable the reader to get a jump start on planning and executing a verification plan using the concepts presented. Case studies are given with analysis and there is coverage of planning and closure a … weiterlesen
Dieses Buch ist auch verfügbar als:

116,19 *

inkl. MwSt.
Sofort lieferbar
Effective Functional Verification als Buch


Titel: Effective Functional Verification
Autor/en: Srivatsa Vasudevan

ISBN: 0387286012
EAN: 9780387286013
Principles and Processes.
Auflage 2006.
Sprache: Englisch.
Springer-Verlag GmbH

21. Juli 2006 - gebunden - XXIV


Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them.
The second part with 3 chapters is targeted towards people in management and higher up on the experience ladders. New verification engineers reading these chapters learn what is expected and how things work in verification. Some case studies are also presented with analysis of proposed improvements.
The last two parts are the result of experience of several years. It goes into how to optimize a verification plan and an environment and how to get results effectively. Various subjects are discussed here to get the most out of a verification environment. Lastely, the appendix discusses some tool specifics to help remove repetitive work and also some tool specific guidelines.
While reading Effective Functional Verification, one will be able to get a jump start on planning and executing a verification plan using the concepts presented.


Dedication. List of Figures. Foreword. Preface. Acknowledgments. Part I Starting the Verification Journey.
1. An Introduction to IC Verification. Importance of Verification. Overview of a Typical ASIC Design Process. Factors in Successful Verification. References.
2. Approaches to Verification. What is Functional Verification all About? Stimulating the design - A choice of approaches. Verification Approaches Based on Integration. Instruction Driven Verification. Random Testing. Coverage Driven Verification. Transaction Based Verification. Golden Model Approach. Pre-Post Processing Approach. Assertion Based Verification. Formal Verification. Emulation and Acceleration. References.
3. Various Workflows Practiced in Verification. An Overview of the Entire Verification Process. The Planning Process. The Regression Process. Maturing of the Design. The Periodic Review Process. The Verification Signoff Process. Part II Ingredients of Successful Verification.
4. People Make all the Difference. Team Dynamics and Team Habits for Success. The Six Qualitites of Successful Verification Engineers. References.
5. Case Studies from the Real World. Block and System Level Tests use Unrelated Environments. Not Implementing Monitors and Assertions Early on. Review Processes Not Done Timely. Pure Random Testing Without Directed Tests. Not Running a Smoke Test Before a Regression. Lint Policies. Effective Use of a Source Control Strategy.
6. Tracking results that matter. Why do we ever need any Verification Metrics? Metrics in a Regression. Commonly used Metrics. Functional Coverage Metrics. Structural Coverage Metrics. Assertion Verification Metrics. References. Part III Reducing work in Verification.
7. Reducing Work in Verification. Considerations in a Verification Environment. Tri-State Buses and Dealing with Them. Dealing with Internal Signals. Environmental Considerations. Dealingwith Register Programming. Dealing with Clocks. Driving the Design. Debugging the Design. Code Profiling to Keep the Inefficiency Out. Regression Management. QC Processes to run a Clean Run. Using a Data Profile to Speed up Simulations. Getting the Machine to Document for You. Keeping an Eye on the Design - Monitors. Checkers in an Environment. Linting Code. The RTL Acceptance Criterion. References. Part IV Ten Steps to Success.
8. Ten Steps to Success. Steps 1 Step 1: A Specification Review. Step 2: The Identification of Test Objects. Step 3: Review of the Test Object List. Step 4: Tagging the List of Test Objects. Step 5: Test Case Identification. Step 6: The Definition of a Correctness Strategy. Step 7: The test strategy. Step 8: Testing the design. Step 9: Figuring out where you Are in the Process. Step 10: Correlations on completion to sign-off. References. Appendices. Index.


Degree in EE from Bangalore University, India in 1990, and Iowa State University, Ames IA, USA in 1993. Formerly a Member of Group Technical Staff at Texas Instruments. Currently Engineer, Senior Staff/Manager at Qualcomm Inc.

089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.