Formal bytes: The Axiomise Podcast Channel
Technology
This week, Dr. Darbari talks to Michiel Ligthart. Discover Michiel's interesting journey from the Netherlands to the USA and find out how he ended being the president and chief operating officer of Verific Design Automation - one of the most well-known names in the EDA industry. We talk about the impact Verific is making in the design of several EDA tools including one of our favorite formal tools that use Verific to compile 1.1 billion gate designs for functional formal verification in under an hour.
More Episodes
Episode 50: A fireside chat with Dr. Amin Shokrollahi
2021-09-07
321
2021-09-07
321
Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2
2021-08-17
140
2021-08-17
140
Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1
2021-08-03
136
2021-08-03
136
Episode 45:A fireside chat with Ravi Thummarukudy
2021-04-27
116
2021-04-27
116
Episode 43: A fireside chat with Dr. Daniel Zimmerman
2021-03-30
134
2021-03-30
134
Episode 42: A fireside chat with Bob Smith
2021-02-23
105
2021-02-23
105
Episode 41: Invisible and visible formal verification
2021-02-09
111
2021-02-09
111
Episode 40: A fireside chat with Dr. Zvonimir Bandic
2021-02-02
89
2021-02-02
89
Episode 39: Abstraction in 7 minutes!
2021-01-19
104
2021-01-19
104
Episode 38: A fireside chat with Calista Redmond
2021-01-05
99
2021-01-05
99
Episode 37: A fireside chat with Harry Foster
2020-12-22
101
2020-12-22
101
Episode 36: A fireside chat with Dr. Jason Oberg
2020-12-15
90
2020-12-15
90
Episode 34: Scenario coverage in formal verification
2020-11-17
91
2020-11-17
91
Episode 33: A fireside chat with Dr. Lucio Lanza
2020-11-03
76
2020-11-03
76
Episode 32: A fireside chat with Rajat Swarup
2020-10-26
75
2020-10-26
75
Episode 31: A fireside chat with Khaled Maalej
2020-10-20
85
2020-10-20
85
Get this podcast on your
phone, FREE
