Login / Signup

An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard.

Enea BagaliniJacopo SiniMatteo Sonza ReordaMassimo ViolanteH. KlimeschPeter Sarson
Published in: LATS (2017)
Keyphrases
  • hardware designs
  • functional verification
  • model based diagnosis
  • safety analysis
  • genetic algorithm
  • low cost
  • signal processing