How close is bluespec to your thoughts on a verilog replacement? eg https://www.... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		fanf2 on April 14, 2019 \| parent \| context \| favorite \| on: Languages I want to write How close is bluespec to your thoughts on a verilog replacement? eg https://www.cl.cam.ac.uk/research/security/ctsrd/beri/

pjc50 on April 14, 2019 [–]

That looks promising on initial inspection of e.g https://github.com/CTSRD-CHERI/beri/blob/master/cheri/trunk/... , although possibly a bit more imperative than I had in mind - still has for(). If I was working on HDL commercially I'd definitely give it a deeper look.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact