Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening. Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. In Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017. ACM, 2017. [doi]
Abstract is missing.