Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study.
Eshan SinghKeerthikumara DevarajegowdaSebastian SimonRalf SchniederKarthik GanesanMohammad Rahmani FadihehDominik StoffelWolfgang KunzClark W. BarrettWolfgang EckerSubhasish MitraPublished in: CoRR (2019)
Keyphrases
- case study
- low cost
- industrial applications
- high density
- automotive industry
- high speed
- control system
- real world
- symbolic description
- lessons learned
- design considerations
- signature verification
- model checking
- industrial environment
- high level
- asymptotic analysis
- single chip
- formal verification
- square root
- software engineering
- formal methods
- symbolic representation
- industrial processes
- knowledge management
- data acquisition
- real time
- functional verification