|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2009 13th International Conference on Computer Supported Cooperative Work in Design
Random stimulus generation with self-tuning
Santiago, Chile
April 22-April 24
ISBN: 978-1-4244-3534-0
| ASCII Text | x | ||
| Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong, "Random stimulus generation with self-tuning," International Conference on Computer Supported Cooperative Work in Design, pp. 62-65, 2009 13th International Conference on Computer Supported Cooperative Work in Design, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/CSCWD.2009.4968035, author = {Yanni Zhao and Jinian Bian and Shujun Deng and Zhiqiu Kong}, title = {Random stimulus generation with self-tuning}, journal ={International Conference on Computer Supported Cooperative Work in Design}, volume = {0}, year = {2009}, isbn = {978-1-4244-3534-0}, pages = {62-65}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSCWD.2009.4968035}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - International Conference on Computer Supported Cooperative Work in Design TI - Random stimulus generation with self-tuning SN - 978-1-4244-3534-0 SP62 EP65 A1 - Yanni Zhao, A1 - Jinian Bian, A1 - Shujun Deng, A1 - Zhiqiu Kong, PY - 2009 VL - 0 JA - International Conference on Computer Supported Cooperative Work in Design ER - | |||
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large and complex design in industry. There are two aspects to measure the stimulus generator which are the quality of the stimulus generated and the efficiency of the generator. In this paper, we propose a self-tuning method to guide the generation for constrained random simulation by SAT solvers. We use a greedy search strategy in solving process to get the high-uniform distribution of the stimulus, and improve the efficiency of the generator by affinity grouping. Experimental results show that our methods can generate more uniform random stimulus with good performance.
Citation:
Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong, "Random stimulus generation with self-tuning," cscwd, pp.62-65, 2009 13th International Conference on Computer Supported Cooperative Work in Design, 2009
Usage of this product signifies your acceptance of the Terms of Use.
