1 results for tags
lipsi x
-
Formally Verifying a General Purpose Ultra-Micro Controller
J'aime bien ce concept d'Ultra-Microcontrôleur. C'est sans doute un micro dans la veine du lipsi (écrit en chisel https://github.com/schoeberl/lipsi)Tue Nov 19 10:01:02 2019 - permalink -- https://zipcpu.com/formal/2019/11/18/genuctrlr.html