It’s actually geared more toward simulation and modeling, but many synthesizable languages start that way. It even has a reference simulation engine (cycle acc

It’s actually geared more toward simulation and modeling, but many synthesizable languages start that way. It even has a reference simulation engine (cycle accurate). My direct experience is limited, but I’ve used it in anger. Documentation was sparse.