This week we discuss our new formal verification course launched on 6 April, last week. If you're looking to understand how to apply formal methods, especially for industrial projects in VLSI, then we have something for you.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Axiomise. Innehållet i podden är skapat av Axiomise och inte av, eller tillsammans med, Poddtoppen.