文档介绍：Aspect-Oriented
Programming with
the e Verifi cation
Language
A Pragmatic Guide for
Testbench Developers
David Robinson
AMSTERDAM • BOSTON • HEIDELBERG • LONDON
NEW YORK • OXFORD • PARIS • SAN DIEGO
SAN FRANCISCO • SINGAPORE • SYDNEY • TOKYO
Morgan Kaufmann is an imprint of Elsevier
Prelims- i 7/12/07 6:06:39 PM
Publishing Director: Joanne Tracy
Senior Acquisitions Editor: Chuck Glaser
Publishing Services Manager: e Morrison
Project Manager: Mónica González de Mendoza
Assistant Editor: Michele Cronin
Production Assistant: Lianne Hong
Composition: Charon Tec Ltd (A pany)
Interior printer: Maple-Vail Book Manufacturing Group
Cover printer: Phoenix Color Corporation
Morgan Kaufmann Publishers is an imprint of Elsevier.
30 Corporate Drive, Suite 400, Burlington, MA 01803, USA
This book is printed on acid-free paper.
© 2007 by Elsevier, Inc. All rights reserved.
Designations used panies to distinguish their products are often claimed as trademarks or registered
trademarks. In all instances in which Morgan Kaufmann Publishers is aware of a claim, the product names
appear in initial capital or all capital letters. Readers, however, should contact the panies for
plete information regarding trademarks and registration.
No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or
by any means — electronic, mechanical, photocopying, scanning, or otherwise — without prior written
permission of the publisher.
Permissions may be sought directly from Elsevier’s Science & Technology Rights Department in Oxford,
UK: phone: (ϩ44) 1865 843830, fax: (ϩ44) 1865 853333, E-mail: ******@.
You may plete your request online via the Elsevier homepage (), by selecting
“Support & Contact” then “Copyright and Permission” and then “Obtaining Permissions.”
Library of Congress Cataloging-in-Publication Data
Robinson, David.
Aspect-oriented programming