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

Rajdeep Mukherjee Mitra Purandare Raphael Polig Daniel Kroening

Published in: DAC (2017)

Keyphrases

hardware software
hardware and software
highly efficient
hw sw
distributed systems
fine grained
model checking