Hacker News new | ask | show | jobs
by tinus_hn 2162 days ago
So what’s better?
1 comments
fanf2 2160 days ago
I've heard good things about Bluespec. It is used for Cambridge's CHERI capability architecture extensions, for example - https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
link