Priority directed test generation for functional verification using neural networks.

Hao Shen, Yuzhuo Fu

Browse the full ASPDAC paper archive.