%0 Journal Article %1 journals/aim/NavehRJKVMS07 %A Naveh, Yehuda %A Rimon, Michal %A Jaeger, Itai %A Katz, Yoav %A Vinov, Michael %A Marcus, Eitan %A Shurek, Gil %D 2007 %J AI Magazine %K dblp %N 3 %P 13-30 %T Constraint-Based Random Stimuli Generation for Hardware Verification. %U http://dblp.uni-trier.de/db/journals/aim/aim28.html#NavehRJKVMS07 %V 28

@article{journals/aim/NavehRJKVMS07, added-at = {2020-07-20T00:00:00.000+0200}, author = {Naveh, Yehuda and Rimon, Michal and Jaeger, Itai and Katz, Yoav and Vinov, Michael and Marcus, Eitan and Shurek, Gil}, biburl = {https://www.bibsonomy.org/bibtex/23186f5775d4157406db13f2d483d23a9/dblp}, ee = {https://doi.org/10.1609/aimag.v28i3.2052}, interhash = {e5ae259e5103f7168c7f59ebbfad5f1c}, intrahash = {3186f5775d4157406db13f2d483d23a9}, journal = {AI Magazine}, keywords = {dblp}, number = 3, pages = {13-30}, timestamp = {2020-07-24T00:24:48.000+0200}, title = {Constraint-Based Random Stimuli Generation for Hardware Verification.}, url = {http://dblp.uni-trier.de/db/journals/aim/aim28.html#NavehRJKVMS07}, volume = 28, year = 2007 }