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: DATE (2019)
Keyphrases
- case study
- low cost
- model checking
- design considerations
- industrial applications
- high speed
- control system
- data acquisition
- formal verification
- high density
- software development
- industrial environment
- hardware implementation
- lessons learned
- automotive industry
- square root
- technology transfer
- industrial processes
- symbolic description
- low power
- high level
- real world
- symbolic representation
- signature verification
- development process
- business process
- asynchronous circuits
- asymptotic analysis
- data sets
- real time