Hacker News new | ask | show | jobs
by hobo_mark 1453 days ago
Wow, I wish we had these built-in provers in VHDL (which is basically Ada in sheep's clothing).
2 comments
freemint 1453 days ago
They are there. You just have to pay a lot to the right companies.
link
nabla9 1453 days ago
>which is basically Ada in sheep's clothing

Only the syntax is similar.

link