search

adumont / hrm-cpu

Human Resource Machine - CPU Design #HRM
https://twitter.com/i/moments/1017515777610649601
GNU General Public License v3.0
71 stars 8 forks source link

Formal verification (Help wanted) #58

Open adumont opened 4 years ago

adumont commented 4 years ago

Add formal verification...

Help wanted for this one.