ASIC/FPGA Design and Verification Out Source Services

The following is a guide, which explains how to run regression for the AIS DUT.

1. Make your DUT modification and update the verification environment if needed.
2. Clear the regression log and the accumulative coverage file.
   rm reg.log
   cp Report/cov_acc_reset.txt cov_acc.txt
   where Report/cov_acc_reset.txt is merely a coverage file with all fields set to zero.
   
3. Run one test and make sure that there are no errors. For the first test after modifications it is strongly recommended to:
   Run one test and inspect waves even if there are no errors reported in the end of the test.
   Fault Injections: Insert some errors in the DUT and verify that the verification environment detects them as errors.
4. Start regression. I recommend using the following commands:
   (sleep 1800;date > stop.txt)&
   stop after 1800 seconds and run in background.
   perl run_reg.pl
5. Verify that are no errors when the first batch of regression ends.
6. Inspect the coverage report. An example of a colorful HTML report can be seen at: coverage report
7. Identify uncovered corner cases. In the former report there are many such cases. Their value is printed in red and a small chili is also presented to alert the verification engineer.
8. Add directed tests to complete the verification. As an example take a look on better coverage report

Contact me now at:

I would be happy to offer my services. Call ASAP !

Home

AIS TB using system C Coverage of the AIS DUT

Download Area