Back to Free and Open Source Silicon Foundation
GSoC 2021

Formal Verification of Mor1kx processor using Yosys-Formal tools

Project details

Contributor

Harshitha S

Mentors

Stefan Wallentowitz, Stafford Horne

Technologies

Not listed in the archive