Spec-based verification: A new method for functional ... - Cadence
Spec-based verification: A new method for functional ... - Cadence
Spec-based verification: A new method for functional ... - Cadence
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Cadence</strong> Design Systems, Inc.Corporate Headquarters2655 Seely AvenueSan Jose, CA 95134800.746.6223408.943.1234www.cadence.com© 2005 <strong>Cadence</strong> Design Systems, Inc. All rights reserved. <strong>Cadence</strong>, the <strong>Cadence</strong> logo, Incisive,<strong>Spec</strong>man Elite, and Verilog are registered trademarks of <strong>Cadence</strong> Design Systems, Inc. Allothers are the properties of their respective holders.6372 08/05