supleed2/ELEC70056-HSV-CW2
1
0
Fork 0
mirror of https://github.com/supleed2/ELEC70056-HSV-CW2.git synced 2024-09-19 20:56:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
18 commits 1 branch 0 tags 3.8 MiB
Commit graph

3 commits

Author SHA1 Message Date
Alden0012 3c60629d48 Add scripts/rtl for formal verification 2022-12-16 20:19:07 +00:00
Alden0012 aabd220e6a Increase covergroups and test inputs for VGA, Integrate gpio checker in tb 2022-12-12 16:16:17 +00:00
Alden0012 f586cd95d9 Add VGA and GPIO checker 2022-12-05 16:55:23 +00:00