Directed test generation using concolic testing on RTL models

Alif Ahmed, Farimah Farahmandi, Prabhat Mishra. Directed test generation using concolic testing on RTL models. In 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018. pages 1538-1543, IEEE, 2018. [doi]

Authors

Alif Ahmed

This author has not been identified. Look up 'Alif Ahmed' in Google

Farimah Farahmandi

This author has not been identified. Look up 'Farimah Farahmandi' in Google

Prabhat Mishra

This author has not been identified. Look up 'Prabhat Mishra' in Google