Guest Editors' Introduction: Emerging Challenges and Solutions in SoC Verification.
Magdy S. AbadirJayanta BhadraWen ChenLi-C. WangPublished in: IEEE Des. Test (2017)
Keyphrases
- optimal solution
- open issues
- artificial intelligence
- information technology
- model checking
- lessons learned
- special issue
- real world
- benchmark problems
- key issues
- embedded systems
- technical challenges
- specific problems
- feasible solution
- emerging topics
- similar problems
- formal verification
- distributed systems
- learning algorithm