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

Published in: DATE (2019)

Keyphrases