ASIC/FPGA Design and Verification Out Source Services

Coverage of the verilog AIS DUT.

1. For me system C is a great, free and high performance hardware simulator with the C++ as a verification engine.
2. The AIS project is a real pilot test to help me understand the capabilities of system c for both RTL and verification.
3. A real DUT is selected for the test. The DUT is partially created by script, which makes the translation to system c more demanding.
4. Some of the DUT buses are 88 bits long, which cause a few free available on the WEB conversion tools to be not effective.
5. The code is converted manually and once regression script plus SC code is ready , I have to decide if I done enough tests.
6. The output of the coverage should be easy for a script to post process the results.
7. Each run generates a data entry for the coverage. A PERL script comes later in the flow. The script accumulates and displays data in an easy way for an engineer to inspect it.
8. A covergae data entry will contain the following fields:
9. The number of AIS assertions.
10. The number of AIS de-assertions.

In a typical AIS test, most of the data is 0xff. To toggle between AIS events, we sometimes input bytes with value other than 0xff. In these cases the number of zeors has a great importance.
The following data should be collected separately when in AIS and when not in AIS state.

11. The number of zero bits in an input byte, if it contains one or more zero bits.
12. The number of occurrence of bytes with value other than 0xff.

To complete the coverage, some DUT internal signals / state machine, have to be inspected in order to find out how did the DUT arrived at a specific state.


13. The DUT enters AIS according to the number of zeros as described below:
14. Coverage is written per test to a file. After each run, the regression perl script accumulates the data. When the regression ends, an HTML report is created, by an automatic HTML generator PERL script.
    A report example can be seen at coverage report
    To download the script coverage script

Contact me now at:

Home

FCS SystemC code FCS c code for calculating CRC for ETHERNET my first example with systemc verification

Download Area