Login / Signup

SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors.

Lennart M. ReimannJonathan WiesnerDominik SisejkovicFarhad MerchantRainer Leupers
Published in: CoRR (2023)
Keyphrases
  • hw sw
  • embedded processors
  • hardware software
  • hardware and software
  • embedded systems
  • single chip
  • design methodology
  • parallel implementation
  • model checking
  • real time