%0 Conference Paper %1 conf/ats/GuoCSCH10 %A Guo, Qi %A Chen, Tianshi %A Shen, Haihua %A Chen, Yunji %A Hu, Weiwu %B Asian Test Symposium %D 2010 %I IEEE Computer Society %K dblp %P 448-454 %T On-the-Fly Reduction of Stimuli for Functional Verification. %U http://dblp.uni-trier.de/db/conf/ats/ats2010.html#GuoCSCH10 %@ 978-0-7695-4248-5

@inproceedings{conf/ats/GuoCSCH10, added-at = {2016-01-13T00:00:00.000+0100}, author = {Guo, Qi and Chen, Tianshi and Shen, Haihua and Chen, Yunji and Hu, Weiwu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20a79111040b9cf9314fe7cb22ec93482/dblp}, booktitle = {Asian Test Symposium}, crossref = {conf/ats/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/ATS.2010.82}, interhash = {760d20d80b8e9afe35a74daf19b77795}, intrahash = {0a79111040b9cf9314fe7cb22ec93482}, isbn = {978-0-7695-4248-5}, keywords = {dblp}, pages = {448-454}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:23:19.000+0100}, title = {On-the-Fly Reduction of Stimuli for Functional Verification.}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2010.html#GuoCSCH10}, year = 2010 }