A collection of formal properties for hardware buses, and cores using them.
-
Updated
Feb 22, 2021 - Verilog
A collection of formal properties for hardware buses, and cores using them.
This project is focused on the design and verification of digital logic circuits, particularly targeting chip design using Verilog, SystemVerilog, and SVA. The main objectives included designing modules compliant with industry standards such as APB (Advanced Peripheral Bus), memory systems, and systolic matrix multiplication.
Add a description, image, and links to the sva topic page so that developers can more easily learn about it.
To associate your repository with the sva topic, visit your repo's landing page and select "manage topics."