汽车4S店促销活动方案-老客户座谈会.ppt

汽车4S店促销活动方案-老客户座谈会.ppt.pptADVANCED VERIFICATION
TECHNIQUES:
A SystemC Based Approach for
essful Tapeout
This page intentionally left blank
ADVANCED VERIFICATION
TECHNIQUES:
A SystemC Based Approach for
essful Tapeout
by
Leena Singh
work Devices
Leonard Drucker
Cadence Design Systems
Neyaz Khan
Cadence Design Systems Inc.
KLUWER ACADEMIC PUBLISHERS
NEW YORK, BOSTON, DORDRECHT, LONDON, MOSCOW
eBook ISBN: 1-4020-8029-8
Print ISBN: 1-4020-7672-X
©2004 Kluwer Academic Publishers
New York, Boston, Dordrecht, London, Moscow
Print ©2004 Kluwer Academic Publishers
Boston
All rights reserved
No part of this eBook may be reproduced or transmitted in any form or by any means, electronic,
mechanical, recording, or otherwise, without written consent from the Publisher
Created in the United States of America
Visit Kluwer Online at:
and Kluwer's eBookstore at: http://ebooks.
Contents
Authors xi
Acknowledgements xiii
Foreword xv
CHAPTER 1 Introduction 1
Verification Overview and Challenges 3
Challenges 5
Topics Covered in the book 7
Introduction 7
Verification Process 7
Using SCV for Verification 7
Test Plan 7
Test Bench Concepts using SystemC 8
Methodology 8
Regression 8
Functional Coverage 9
Dynamic Memory Modeling 9
Post Synthesis/Gate Level Simulation 9
Reference Design 10
Traffic Management and SAR chip 10
Multimedia Reference Design 14
CHAPTER 2 Verification Process 17
Introduction 18
Lint 21
High Level verification languages 22
Documentation 26
Documenting verification infrastructure 27
Scripting 30
Revision control 32
Build Process 35
Simulation and waveform analysis 35
Waveform Analysis tool features 36
Bug tracking 37
Memory modelling 39
Regression 40
Functional Coverage 40
Requirements for a Functional Coverage Tools 40