Stream: Miscellaneous

Topic: Formal verification in industry


view this post on Zulip Karl Palmskog (Feb 28 2022 at 17:08):

This is apparently where we still are most of the time with formal verification in industry:

ASIC IP Formal Verification Engineer
[...]

MUST-HAVE PROFICIENT EXPERIENCE AND SKILLS:
A good understanding of what goes in to a mathematical proof
A critical eye which can spot gaps in a logical argument

PREFERRED SKILLS:
Experience writing your own mathematical proofs
A good understanding of computer hardware and computer architecture
C(++)
Python

view this post on Zulip Karl Palmskog (Feb 28 2022 at 17:12):

Python gets you halfway there!

view this post on Zulip Pierre-Marie Pédrot (Feb 28 2022 at 17:18):

Why the insistence on "mathematical" proofs? Is there a risk of confusion with another kind of proof (barring Ballmer's peak?)

view this post on Zulip Karl Palmskog (Feb 28 2022 at 17:21):

aren't there a lot of scientists who still talk about empirical proof? [as synonym for "empirical evidence"]

view this post on Zulip Pierre-Marie Pédrot (Feb 28 2022 at 17:22):

but this is disambiguated by the context though

view this post on Zulip Karl Palmskog (Feb 28 2022 at 17:23):

right, I think it would have made sense if they had just written "formal" instead of "mathematical"

view this post on Zulip Paolo Giarrusso (Feb 28 2022 at 18:04):

I'd think "mathematical" != "formal" for them: they're trying to exclude those who shut off in the maths courses they were forced through :sweat_smile:

view this post on Zulip Paolo Giarrusso (Feb 28 2022 at 18:05):

You will be provided with full training on cutting edge industry Formal Verification tools, and will contribute to the verifiction of industry leading graphics, and research new techniques to push out the boundaries of what can be verified formally.

view this post on Zulip Paolo Giarrusso (Feb 28 2022 at 18:08):

OTOH, "formal proof" would probably cut off most people with PhDs in maths, let alone CS or electronic engineering


Last updated: Aug 19 2022 at 19:03 UTC