%0 Conference Paper %1 conf/aspdac/LiZLGL05 %A Li, Tun %A Zhu, Dan %A Liang, Lei %A Guo, Yang %A Li, Sikun %B ASP-DAC %D 2005 %E Tang, Tingao %I ACM Press %K dblp %P 1039-1042 %T Automatic functional test program generation for microprocessor verification. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2005.html#LiZLGL05 %@ 0-7803-8737-6

@inproceedings{conf/aspdac/LiZLGL05, added-at = {2019-10-02T00:00:00.000+0200}, author = {Li, Tun and Zhu, Dan and Liang, Lei and Guo, Yang and Li, Sikun}, biburl = {https://www.bibsonomy.org/bibtex/2cdab74656cca0d04bc63104f46d0ac25/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2005}, editor = {Tang, Tingao}, ee = {https://doi.org/10.1109/ASPDAC.2005.1466518}, interhash = {cae99f69190720a1be30536907abb668}, intrahash = {cdab74656cca0d04bc63104f46d0ac25}, isbn = {0-7803-8737-6}, keywords = {dblp}, pages = {1039-1042}, publisher = {ACM Press}, timestamp = {2019-10-17T16:43:15.000+0200}, title = {Automatic functional test program generation for microprocessor verification.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2005.html#LiZLGL05}, year = 2005 }