VERIFICATION METHODOLOGY MANUAL
Techniques for Verifying HDL Designs
David Dempster Michael
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
Printed on acid-free paper.
Printed in Great Britain by Biddles Ltd., Guildford and King's Lynn
Web site: www.biddles.co.uk
Cover design: Joanna Watkinson of Blue Pepper Designs
Cover-montage photographs used with permission of copyright owner.
Interior design: Teamwork International.
Chris Moses of TransEDA.
New Century House,
Stable View, Yateley,
Hampshire, GU46 7SF
Int. Tel: +44 1252-665-924
Int. Fax: +44 1252-692-706
Web site: www.teamwork-int.com