Alif Ahmed, Prabhat Mishra. QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models. In 2017 IEEE International Conference on Computer Design, ICCD 2017, Boston, MA, USA, November 5-8, 2017. pages 185-192, IEEE Computer Society, 2017. [doi]
Abstract is missing.