GATEST: A Validation Platform of Automatic Simulation Vectors Generation Using Genetic Algorithms

YI Jiangfang,TONG Dong,CHENG Xu
DOI: https://doi.org/10.3321/j.issn:0479-8023.2006.05.018
2006-01-01
Abstract:The approaches of simulation-based validation need a large amount of simulation-vectors for verifying the corner cases of VLSI designs. The authors developed a validation platform of automatic simulation vectors generation based on the path coverage metric using genetic algorithm for RT-level designs. Given the critical signals, it used techniques of data flow analysis to acquire the critical path set and choose the critical path coverage to be the fitness function used in the GA. The authors performed experiments on some functional modules of Unity-863 SoC. The relationship between the final results and the control factors were also analyzed in detail. The results show that GATEST is effective and efficient.
What problem does this paper attempt to address?