Formal bytes: The Axiomise Podcast Channel
Technology
Do you always need a GPU for L4/L5 autonomous driving? This week, Dr. Darbari sat down with Khaled Maalej - Founder & CEO, VSORA, a provider of high-performance silicon intellectual property (IP) solutions for artificial intelligence, digital communications, and advanced driver-assistance systems (ADAS) applications based in France. Find out how VSORA's unique solutions are powering the next generation of driverless cars. We talk about programmable DSP, performance, low-power, and verification of petaflop computers on wheels.
More Episodes
Episode 50: A fireside chat with Dr. Amin Shokrollahi
2021-09-07
360
2021-09-07
360
Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2
2021-08-17
154
2021-08-17
154
Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1
2021-08-03
157
2021-08-03
157
Episode 45:A fireside chat with Ravi Thummarukudy
2021-04-27
135
2021-04-27
135
Episode 43: A fireside chat with Dr. Daniel Zimmerman
2021-03-30
145
2021-03-30
145
Episode 42: A fireside chat with Bob Smith
2021-02-23
113
2021-02-23
113
Episode 41: Invisible and visible formal verification
2021-02-09
120
2021-02-09
120
Episode 40: A fireside chat with Dr. Zvonimir Bandic
2021-02-02
98
2021-02-02
98
Episode 39: Abstraction in 7 minutes!
2021-01-19
109
2021-01-19
109
Episode 38: A fireside chat with Calista Redmond
2021-01-05
108
2021-01-05
108
Episode 37: A fireside chat with Harry Foster
2020-12-22
109
2020-12-22
109
Episode 36: A fireside chat with Dr. Jason Oberg
2020-12-15
97
2020-12-15
97
Episode 34: Scenario coverage in formal verification
2020-11-17
99
2020-11-17
99
Episode 33: A fireside chat with Dr. Lucio Lanza
2020-11-03
86
2020-11-03
86
Episode 32: A fireside chat with Rajat Swarup
2020-10-26
84
2020-10-26
84
Get this podcast on your
phone, FREE
