inControl

ep21 - Alberto Sangiovanni Vincentelli: Classics, EDA, Logic Synthesis, SPICE, Intel x386, Cadence, Synopsis, Platform-based design

March 15, 2024 Alberto Padoan
inControl
ep21 - Alberto Sangiovanni Vincentelli: Classics, EDA, Logic Synthesis, SPICE, Intel x386, Cadence, Synopsis, Platform-based design
Show Notes

Outline
00:00 - Intro
02:40 - Classic Studies
06:51 - Early Steps in Berkeley between Optimization and Circuits Theory
16:04 - Back to Italy... and back to Berkeley
26:29 - The SPICE program and the interaction with IBM
33:30 - Logic Synthesis, Simulated Annealing, Timberwolf
40:57 - The Intel x386, YACR, and ESPRESSO
47:01 - The birth of Cadence and Synopsis
1:06:01 - Corsi e Ricorsi in EDA
1:30:45 - The Shift to Automotive and Platform-Based Design
1:39:06 - Outro

Links
Alberto’s website: https://tinyurl.com/2w8t8fza
State-space approach in problem-solving optimization: https://tinyurl.com/bdcnmbhp
EDA: https://tinyurl.com/3dur7yth
SPICE: https://tinyurl.com/yxm56txy
Logic Minimization Algorithms for VLSI Synthesis: https://tinyurl.com/49bnw3by
Simulated annealing: https://tinyurl.com/mryz45pz
Timberwolf: https://tinyurl.com/mvm28wnn
Intel 386: https://tinyurl.com/4z7ubb55
Cadence: https://tinyurl.com/hydjj92z
Synopsis: https://tinyurl.com/463vk8mk
Dracula: https://tinyurl.com/kcum5v8t
Corsi e ricorsi - the EDA story: https://tinyurl.com/mwar9p44
G. Vico: https://tinyurl.com/cb4mp7nz
Finite state machine: https://tinyurl.com/4ckszk2n
System-level design: orthogonalization of concerns and platform-based design: https://tinyurl.com/v2t4njt4
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design: https://tinyurl.com/mpmmstun
Remembering Richard: https://tinyurl.com/yc6rf7u3
W. Shockley: https://tinyurl.com/w3chmutt

Support the Show.

Podcast info
Podcast website: https://www.incontrolpodcast.com/
Apple Podcasts: https://tinyurl.com/5n84j85j
Spotify: https://tinyurl.com/4rwztj3c
RSS: https://tinyurl.com/yc2fcv4y
Youtube: https://tinyurl.com/bdbvhsj6
Facebook: https://tinyurl.com/3z24yr43
Twitter: https://twitter.com/IncontrolP
Instagram: https://tinyurl.com/35cu4kr4

Acknowledgments and sponsors
This episode was supported by the National Centre of Competence in Research on «Dependable, ubiquitous automation» and the IFAC Activity fund. The podcast benefits from the help of an incredibly talented and passionate team. Special thanks to L. Seward, E. Cahard, F. Banis, F. Dörfler, J. Lygeros, ETH studio and mirrorlake . Music was composed by A New Element.