3 ms·Wow, I wish we had these built-in provers in VHDL (which is basically Ada in sheep's clothing).by hobo_mark 4y agoWow, I wish we had these built-in provers in VHDL (which is basically Ada in sheep's clothing).nabla9 4y ago>which is basically Ada in sheep's clothing Only the syntax is similar.freemint 4y agoThey are there. You just have to pay a lot to the right companies.