Copyright (C) 1991-2006 Altera Corporation. All rights reserved

This file contains the following information:

1. Package Contents
2. Software Tool Requirements
3. Release History
4. Altera Contact Information

Package Contents
================
A qar file containing Complete Quartus® II project archive files for Formal Verification 
Design Example with Quartus II generated post-fit netlist and Cadence Encounter Conformal tool.


Software Tool Requirements
==========================
Quartus II software version 6.0SP1 or later.
Cadence Encounter Conformal Tool version 06.10-p100 (25-May-2006) or later

Release History
===============
Version 1.0.0
-------------
First release of examples


Contacting Altera
=================
Although we have made every effort to ensure that this design example works correctly, 
there might be problems that we have not encountered. If you have a question or problem 
that is not answered by the information provided in this README file or the example's 
documentation, please contact your Altera Field Applications Engineer.

If you have additional questions that are not answered in the documentation, contact 
Altera via one of the following methods:

Altera Web Site:                 http://www.altera.com
                                 http://www.altera.com/mysupport