Login / Signup

Efficient Aspect Verification and Debugging of High-Performance Microprocessor Designs.

Arun JosephPretty Mariam JacobMatthias KleinWolfgang Roesner
Published in: IEEE Des. Test (2024)
Keyphrases
  • cost effective
  • low overhead
  • real time
  • learning algorithm
  • computationally efficient
  • operating system
  • model checking
  • design principles
  • virtual machine
  • design space
  • circuit design
  • verification method