Hacker News new | ask | show | jobs
by sentinalien 985 days ago
Formal verification is actually heavily used in the semiconductor industry these days