I know it isn't direct HLS, but I have to say that Python in EDA seems like a we... | Hacker News

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

mhh__ on Feb 19, 2021 | parent | context | favorite | on: Designing a RISC-V CPU, Part 1: Learning hardware ...

I know it isn't direct HLS, but I have to say that Python in EDA seems like a weak combination - even if it's effectively just glue code when I write python I'm just constantly hanging myself on nooses that wouldn't exist in a statically typed language (not good when you have to pay millions for a respin)

What does the formal verification flow/s look like for it?

rowanG077 on Feb 19, 2021 [–]

This! I'd rather write VHDL then migen. I really don't understand the obsession that the open source hardware community has with it. There are way better alternatives.

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