Sign in

Formal Techniques for Effective Co-verification of Hardware/Software Co-designs.

Rajdeep MukherjeeMitra PurandareRaphael PoligDaniel Kroening
Published in: DAC (2017)
Keyphrases
  • hardware software
  • hardware and software
  • highly efficient
  • hw sw
  • distributed systems
  • fine grained
  • model checking