A robust general constrained random pattern generator for constraints with variable ordering.
Journal
2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012
Pages
109-114
Date Issued
2012
Author(s)
Wu, Bo-Han
Abstract
Constrained random verification (CRV) methodology has been identified as an efficient solution to functional verification challenges. In practical cases, it is required to implement constraints with variable ordering to put essential efforts on cared patterns. However, handling constraints with variable ordering may encounter performance degradation of pattern generation speed and distribution. To resolve these challenges, we provide a preprocessing technique to analyze solution space by adaptively splitting ranges of variables and prove the feasibility of each subspace. This analysis allows us to perform effective range-reduction to enhance pattern generation speed and ensure the desired distribution. From the experimental results, our framework outperforms a state-of-art tool with 10X speedup in average and retains better stability of performance with the increase of number of variable orders.
Type
conference paper