Formal Techniques for Effective Co-verification of Hardware/Software Co-designsRajdeep MukherjeeMitra Purandareet al.2017DAC 2017