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: 2 months ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 4