Techniques for Verifying HDL Designs

David Dempster              Michael Stuart



Published by Teamwork International

Copyright (c) 2002 by Teamwork International and TransEDA Limited

First printing June 2002

All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, mechanical, photo-copying, recording or otherwise, without the prior written permission of the publisher, Teamwork International, New Century House, Stable View, Yateley, Hampshire GU46 7SF, United Kingdom.


TransEDA, the TransEDA logo, and Verification Navigator are registered trademarks and VN-Cover, VN-Property DX, VN-State, VN-Optimize, and VN-Check are trademarks of TransEDA PLC. All other product and company names mentioned herein may be the trademarks of their respective owners


ISBN 0-9538-4822-1

Printed on acid-free paper
Printed in Great Britain by Biddles Ltd., Guildford and King's Lynn
Web site:

Cover design:
Joanna Watkinson of Blue Pepper Designs
                 Cover-montage photographs used with permission of copyright owner.

Interior design:
Teamwork International.
Illustrations: Chris Moses of TransEDA.

Teamwork International,
New Century House,
Stable View, Yateley,
Hampshire, GU46 7SF
United Kingdom
Int. Tel: +44 1252-665-924
Int. Fax: +44 1252-692-706
Web site:

Copyright (c) 2002
Teamwork International and TransEDA Limited
Voice: (408) 335-1300
Fax: (408) 335-1319

Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy