This repository has been archived by the owner on Jun 20, 2022. It is now read-only.

HITSZ-CDP / rv32-cmodel Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 1

a RV32I functional model written in C for CPU verification

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
include		include
stage		stage
Makefile		Makefile
README.md		README.md
cpu.c		cpu.c
main.c		main.c
run_all_tests.py		run_all_tests.py

Repository files navigation

Note: This repository is no longer maintained. See HITSZ-CDP/cdp-test for the latest version.

rv32-cmodel

a RV32I functional model written in C for CPU verification

About

a RV32I functional model written in C for CPU verification

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

C 98.3%
Other 1.7%