conferences/siliconsalon2022/siliconsalon2022.tex

   1 \documentclass[slidestop]{beamer}
   2 \usepackage{beamerthemesplit}
   3 \usepackage{graphics}
   4 \usepackage{pstricks}
   5
   6 \graphicspath{{./}}
   7
   8 \title{The Libre-SOC Hybrid CPU-VPU-GPU}
   9 \author{Luke Kenneth Casson Leighton}
  10
  11
  12 \begin{document}
  13
  14 \frame{
  15    \begin{center}
  16     \huge{The Libre-SOC Hybrid CPU-VPU-GPU}\\
  17     \vspace{32pt}
  18     \Large{and why Libre/Open is crucial}\\
  19     \Large{(even in a business context)}\\
  20     \Large{Practical gotchas for Silicon Transparency}\\
  21     \vspace{24pt}
  22     \Large{Silicon Salon 2022}\\
  23     \vspace{16pt}
  24     \large{Sponsored by NLnet's PET Programme}\\
  25     \vspace{6pt}
  26     \large{\today}
  27   \end{center}
  28 }
  29
  30
  31 \frame{\frametitle{What is the Libre-SOC Project}
  32
  33  \begin{itemize}
  34    \item An entirely Libre Vector-enhanced Power ISA compliant
  35          CPU with enough legs to tackle Supercomputing-class
  36          workloads.
  37         \vspace{6pt}
  38    \item Working closely with the OpenPOWER Foundation: no
  39          rogue custom instructions.  Both Long-term stability and
  40          open-ness is key.
  41         \vspace{6pt}
  42    \item Huge reliance on Python OO and Software Engineering as
  43          applied to HDL. Not just traditional Verification: unit
  44          tests at every level, Formal Correctness Proofs as unit
  45          tests. "python3 setup.py test"
  46         \vspace{6pt}
  47    \item Using Libre VLSI Tools: coriolis2 (by Sorbonne University)
  48          ultimate goal is to have the GDS-II Files publicly reproducible
  49         \vspace{6pt}
  50
  51   \end{itemize}
  52 }
  53
  54
  55 \frame{\frametitle{What challenges does a Crypto-Wallet ASIC face?}
  56
  57  \begin{itemize}
  58    \item Industry-endemic paranoid 5-level-deep NDA Chain.  Foundry NDAs
  59          themselves are under NDA. Sharing between teams inside the same
  60          company is prohibited! Cell Libraries: NDA'd. PDKs: NDA'd.
  61          HDL designs: NDA'd.
  62         \vspace{6pt}
  63    \item Power-analysis attacks. Timing attacks. EMF attacks.  Standards
  64          Verification (FIPS ain't it).  Toolchain attacks.  Cacheing is out:
  65          performance will suck.
  66         \vspace{6pt}
  67    \item Achieving Full Transparency - a critical goal - is almost impossible
  68          to achieve.  Ultimately, you need to buy (or build) your own Foundry.
  69         \vspace{6pt}
  70    \item Production and Development costs (NREs) almost certainly dwarf the
  71          Sales costs.
  72         \vspace{6pt}
  73   \end{itemize}
  74 }
  75
  76
  77 \frame{\frametitle{Pragmatic solutions}
  78
  79  \begin{itemize}
  80    \item Use Formal Correctness Proofs at every step. Caveat: proofs are
  81          only as good as the mathematicians that write them!
  82         \vspace{1pt}
  83    \item Work with Standards bodies (e.g. OpenPOWER Foundation ISA WG) and
  84          Members with similar interests.
  85          Custom Extension with zero public review == bad.
  86         \vspace{1pt}
  87    \item Unstable PLLs to detect rogue EMF
  88         \vspace{1pt}
  89    \item Develop a product that has a larger total market (an SoC)
  90         \vspace{1pt}
  91    \item Accept that some levels of NDA are "out of reach" for now.
  92         \vspace{1pt}
  93    \item Use E-Fabless "ChipIgnite" to at least get the NREs down.
  94         \vspace{1pt}
  95    \item Ultimately: buy your own Foundry, make the PDK and Cell Library public.
  96          Only use Libre VLSI tools (limits to around 130 nm at the moment).
  97          Everything is "early days" in this space
  98         \vspace{1pt}
  99   \end{itemize}
 100 }
 101
 102
 103 \frame{
 104   \begin{center}
 105     {\Huge The end\vspace{12pt}\\
 106                    Thank you\vspace{12pt}\\
 107                    Questions?\vspace{12pt}
 108         }
 109   \end{center}
 110
 111   \begin{itemize}
 112         \item Discussion: http://lists.libre-soc.org
 113         \item Libera.Chat IRC \#libre-soc
 114         \item http://libre-soc.org/
 115         \item http://nlnet.nl/PET
 116         \item https://libre-soc.org/nlnet/\#faq
 117   \end{itemize}
 118 }
 119
 120
 121 \end{document}