Copyright
Publishing Director Denise PenroseSenior Acquisitions Editor Charles B. GlaserPublishing Services Manager George MorrisonProject Manager Kathryn ListonAssistant Editor Michele CroninComposition Charon TecInterior printer The Maple-Vail Book Manufacturing GroupCover printer Phoenix Color
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.
© 2008 by Elsevier Inc. All rights reserved.
Designations used by companies to distinguish their products are often claimed as trademarks or registered trademarks. In all instances in which Morgan Kaufmann Publishers ...
Get Verification Techniques for System-Level Design now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.