HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.

Tao Xie, Wolfgang Mller, Florian Letombe

Browse the full DSD paper archive.