View unanswered posts | View active topics It is currently Thu Mar 28, 2024 8:05 am



Reply to topic  [ 2 posts ] 
 Design process blog: A Bug-Free RISC-V Core (no Simulation) 
Author Message

Joined: Wed Jan 09, 2013 6:54 pm
Posts: 1780
.
worth a read. Using formal methods and the RISC-V testsuite. Tackling a simple machine first, but with some thinking ahead, with the aim of hitting reasonable performance:

https://tomverbeure.github.io/risc-v/20 ... ation.html

A very different kind of debugging progress compared to the usual approach using simulation - and overall more time-efficient, I reckon. But, you do need the testsuite, which in the case of RISC-V has been written for you, and in the case of a homebrew CPU that would be a major task with its own kind of expertise.


Mon Jun 22, 2020 7:12 pm
Profile

Joined: Mon Oct 07, 2019 2:41 am
Posts: 585
How ever formal logic still cannot stop simple typo or logic errors.
Working a on cross compiler with two versions, I had a output print out of
130 pages with only two typo errors. 1 #define BPW 4 rather than the
correct #define BPW 2 for that machine and forgotton & for &p->name[0]
Ben.


Mon Jun 22, 2020 10:15 pm
Profile
Display posts from previous:  Sort by  
Reply to topic   [ 2 posts ] 

Who is online

Users browsing this forum: No registered users and 3 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
cron
Powered by phpBB® Forum Software © phpBB Group
Designed by ST Software