%0 Conference Paper %1 conf/aspdac/ShenF05 %A Shen, Hao %A Fu, Yuzhuo %B ASP-DAC %D 2005 %E Tang, Tingao %I ACM Press %K dblp %P 1052-1055 %T Priority directed test generation for functional verification using neural networks. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2005.html#ShenF05 %@ 0-7803-8737-6

@inproceedings{conf/aspdac/ShenF05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shen, Hao and Fu, Yuzhuo}, biburl = {https://www.bibsonomy.org/bibtex/2cd5f236147b66e125d7f62a69b0338c3/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2005}, editor = {Tang, Tingao}, ee = {https://doi.org/10.1109/ASPDAC.2005.1466521}, interhash = {95543d9870774ed0f8013c6b3ec4291a}, intrahash = {cd5f236147b66e125d7f62a69b0338c3}, isbn = {0-7803-8737-6}, keywords = {dblp}, pages = {1052-1055}, publisher = {ACM Press}, timestamp = {2019-10-17T16:43:15.000+0200}, title = {Priority directed test generation for functional verification using neural networks.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2005.html#ShenF05}, year = 2005 }