Login / Signup

A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level.

Johannes MüllerMohammad Rahmani FadihehAnna Lena Duque AntónThomas EisenbarthDominik StoffelWolfgang Kunz
Published in: DAC (2021)
Keyphrases
  • formal methods
  • higher level
  • lower level
  • model checking
  • levels of abstraction
  • computer vision
  • information systems
  • clustering algorithm
  • database systems
  • transfer learning
  • mathematical theory
  • asynchronous circuits