Automated Activation of Multiple Targets in RTL Models using Concolic Testing.

Yangdi Lyu, Alif Ahmed, Prabhat Mishra

Browse the full DATE paper archive.