GitHub topics: harward
Ghonimo/Formal-Verification-of-an-AHB2APB-Bridge
Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation including a final report and project progression presentation.
Language: SystemVerilog - Size: 14.2 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 4
jokerinya/cs50WebProgramming
Harward University CS50’s Web Programming with Python and JavaScript Course Projects
Language: Python - Size: 938 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
lukasz-pyrzyk/CS50
CS50 problems and notes from the lecture
Language: C - Size: 29.8 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
