Giters

TheSaltyLiquorice / MasterThesisNoelV

Master Thesis work at Cobham Gaisler. RISC-V verification of the NOEL-V processor

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

formalverificationcodephysical-memory

This repository is not active

About

Master Thesis work at Cobham Gaisler. RISC-V verification of the NOEL-V processor

formalverificationcodephysical-memory

Languages

Language:VHDL 74.9%Language:C 17.5%Language:SystemVerilog 1.8%Language:Tcl 1.2%Language:Verilog 1.1%Language:Stata 1.0%Language:Makefile 1.0%Language:Assembly 0.8%Language:Jupyter Notebook 0.3%Language:Batchfile 0.2%Language:C++ 0.1%Language:Python 0.1%Language:Shell 0.0%Language:sed 0.0%