Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints

Authors:
Shujun Deng;Zhiqiu Kong;Jinian Bian;Yanni Zhao
Affiliations:
Tsinghua University, Beijing, China;Tsinghua University, Beijing, China;Tsinghua University, Beijing, China;Tsinghua University, Beijing, China
Venue:
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Year:
2009

Citing 10
Cited 5

NP is as easy as detecting unique solutions

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
GRASP—a new search algorithm for satisfiability

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Bounded Model Checking Using Satisfiability Solving

Formal Methods in System Design
Constraint-Based Verification

Constraint-Based Verification
Stimulus generation for constrained random simulation

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Random stimulus generation using entropy and XOR constraints

Proceedings of the conference on Design, automation and test in Europe
Counting CSP solutions using generalized XOR constraints

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
HOPE: an efficient parallel fault simulator for synchronous sequential circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Simplifying Boolean constraint solving for random simulation-vector generation

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Journal of Electronic Testing: Theory and Applications
Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques

Proceedings of the International Conference on Computer-Aided Design
A robust general constrained random pattern generator for constraints with variable ordering

Proceedings of the International Conference on Computer-Aided Design
Manipulation of Training Sets for Improving Data Mining Coverage-Driven Verification

Journal of Electronic Testing: Theory and Applications
A robust constraint solving framework for multiple constraint sets in constrained random verification

Proceedings of the 50th Annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Constrained random stimulus generation plays significant roles in hardware verification nowadays, and the quality of the generated stimuli is key to the efficiency of the test process. In this work, we present a linear dynamic method to guide random stimulus generation by SAT solvers. A splitting simplified Min-Distance-Sum evaluation method and an XOR sampling strategy are integrated in the self-adjusting random stimulus generation framework. The evenness of the split groups is evaluated to find out some uneven parts. Then, random partial solutions for the uneven parts and random XOR constraints for the other inputs are added into constraints to get better distributed stimuli. Experimental results show that our method can evaluate the evenness as well as more complex formulae for stimulus generation, and also confirm that the self-adjusting method can improve the fault coverage ratio by more than 17% averagely with the same number of stimuli.