Abstract
Directory protocol is the most widely used implementation cache consistency method in large-scale shared memory multi-core processor which is very complex and difficult to verify. In this paper, we propose a random test generation method based on genetic algorithm to verify directory controller of a type of 64-core processor, analyze the test features to code the symbols of genetic algorithm, and evaluate the merits of the test using the fitness function based on functional coverage. We establish the relationship between coverage and test vector, analyze the relationship between coverage and test stimulus through a genetic algorithm. The experimental results show that compared with the pseudo-random method, the functional coverage rate of this method is increased by nearly 20%–30%, the detection rate of bugs is relatively high, and the verification efficiency and quality are also improved.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Hill, M.D., Sorin, D.J., Wood, D.A.: A Primer on Memory Consistency and Cache Coherence. Synthesis Lectures on Computer Architecture, November 2011
Simoni, R., Horowitz, M.: Modeling the performance of limited pointers directories for cache coherence. In: Proceedings of the 18th International Symposium on Computer Architecture, pp. 309–318 (1991)
Nativ, G., Mittennaier, S., Ur, S., Ziv, A.: Cost evaluation of coverage directed test generation for the IBM mainframe. In: Proceeding of the 2001 International Test Conference, Baltmore, pp. 793–802 (2001)
Fine, S., Ziv, A.: Coverage directed test generation for functional verification using Bayesian networks. In: Design Automation Conference, pp. 286–291 (2003)
Braun, M., Fine, S., Ziv, A.: Enhancing the efficient of Bayesian network based coverage directed test generation. In: Proceedings of IEEE International High-Level Design and Test Workshop, Sonoma, pp. 75–80 (2004)
Fine, S., Freund, A., Jaeger, I., Naveh, Y., Mansour, Y.: Harnessing machine learning to improve the success rate of stimuli generation. IEEE Trans. Comput. 55(11), 1344–1355 (2006)
Wagner, I., Bertacco, V., Austin, T.: Microprocessor verification via feedback-adjusted Markov models. IEEE Trans. Comput.-Aided Des. Integr. Circ. Syst. 26(6), 1126–1138 (2007)
Yi, J., Dong, T., Xu, C.: An efficient approach to simulation vector generation using Bayesian network. J. Comput.-Aided Des. Comput. Graph. 19(5), 616–621 (2007). (in Chinese)
Ai, Y., Luo, L., et al.: A Bayesian network based test generation method for cache coherency protocol verification. Comput. Eng. Sci. 39(8), 1397–1402 (2017). (in Chinese)
Bose, M., Shin, J., Rudnick, E.M., et al.: A genetic approach to automatic bias generation for based random instruction generation. In: Proceedings of Congress on Evolutionary Computation, Seoul, pp. 442–448 (2001)
Wang, S., Huang, K., Yan, X.: Coverage directed test generation based on genetic algorithm. J. Zhejiang Univ. (Eng. Sci.) 50(3), 581–588 (2016)
Shen, H., Wang, P., et al.: A coverage directed test generation platform for microprocessors using genetic approach. J. Comput. Res. Dev. 46(10), 1612–1625 (2009)
Nagamani, A.N., et al.: A genetic algorithm-based heuristic method for test set generation in reversible circuits. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 37(2), 324–335 (2018)
Ros, A., Acacio, M.E., García, J.M.: A scalable organization for distributed directories. J. Syst. Archit. 56(2–3), 77–87 (2010)
Acknowledgments
This work is supported by National Key Research and Development Program of China No. 2018YFB0204301.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Luo, L., Zhou, L., Zhou, H., Feng, Q., Pan, G. (2020). Directory Controller Verification Based on Genetic Algorithm. In: Dong, D., Gong, X., Li, C., Li, D., Wu, J. (eds) Advanced Computer Architecture. ACA 2020. Communications in Computer and Information Science, vol 1256. Springer, Singapore. https://doi.org/10.1007/978-981-15-8135-9_15
Download citation
DOI: https://doi.org/10.1007/978-981-15-8135-9_15
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-8134-2
Online ISBN: 978-981-15-8135-9
eBook Packages: Computer ScienceComputer Science (R0)