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

Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening

Browse the full DAC paper archive.