Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/shuregg/ialu-verification

ALu verification example
https://github.com/shuregg/ialu-verification

Last synced: about 1 month ago
JSON representation

ALu verification example

Awesome Lists containing this project

README

        

iALU's ADD and SUB operations verification and code/functional coverage
========================================================================
Code coverage:
=
![report png](https://github.com/Shuregg/ialu-verification/assets/47576452/9a53cfeb-b433-4926-b971-fc28bb2bb558)

Functional coverage:
=
![fcover png](https://github.com/Shuregg/ialu-verification/assets/47576452/5434d5aa-8cae-4fd3-8590-54aabd3e0543)

Check next files for more information:
code_cover_report.txt[1],
func_cover_report.txt[2],
general_coverage_report_details.txt[3]

[1] [https://github.com/Shuregg/ialu-verification/blob/develop/coverage_reports/code_cover_report.txt]

[2] [https://github.com/Shuregg/ialu-verification/blob/develop/coverage_reports/func_cover_report.txt]

[3] [https://github.com/Shuregg/ialu-verification/blob/develop/coverage_reports/general_coverage_report_details.txt]