/******************************************************************************
 * (C) Copyright 2015 AMIQ Consulting
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *******************************************************************************/

* Title: SVAUnit
* Name : svaunit
* Modified: 27-Apr-2015
* Support: office@amiq.com
* Description: SVAUnit is a structured framework for unit testing used to verify SVAs

* Directory structure:
  This package contains the following directories:
    docs                    - All documents related to this library
    sv/                     - All sv sources of the library
    examples                - Example sv files and verilog testbench
    sim                     - Example of script to run simulations
    dvt_run_configurations  - DVT Configurations

* To demo: run run_svaunit.sh with proper options