|
|
 |
 |
| |
|
VERIFICATION METHODOLOGY MANUAL
Techniques for Verifying HDL DesignsDavid 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: 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.
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
E-mail: info@teamwork-int.com
Web site: www.teamwork-int.com
|
|