This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 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
Yanni Zhao, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China
Jinian Bian, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China
Shujun Deng, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China
Zhiqiu Kong, Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China
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.