Functional Verification, ASIC Synthesis and Formal Verification of an AMBA Memory Interface Bridge integrated with the LEON3 Processor and GRETH Ethernet MAC.
asic software-testing formal-verification leda amba-apb design-compiler amba-ahb standalone-testing bridge-module
-
Updated
Jun 28, 2026 - C