| /****************************************************************************** |
| * (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 |
