Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
SDNVD-SCADA: A Formalized Vulnerability Detection Platform in SDN-Enabled SCADA System Kapitel lesen Erstes Kapitel lesen

2020 | OriginalPaper | Buchkapitel

Directory Controller Verification Based on Genetic Algorithm

verfasst von : Li Luo, Li Zhou, Hailiang Zhou, Quanyou Feng, Guoteng Pan

Erschienen in: Advanced Computer Architecture

Verlag: Springer Singapore

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Pin-Tool Based Execution Backtracking
Nächstes Kapitel Prediction and Analysis Model of Telecom Customer Churn Based on Missing Data
Literatur
1.
Hill, M.D., Sorin, D.J., Wood, D.A.: A Primer on Memory Consistency and Cache Coherence. Synthesis Lectures on Computer Architecture, November 2011
2.
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)
3.
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)
4.
Fine, S., Ziv, A.: Coverage directed test generation for functional verification using Bayesian networks. In: Design Automation Conference, pp. 286–291 (2003)
5.
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)
6.
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)CrossRef
7.
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)CrossRef
8.
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)
9.
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)
10.
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)
11.
Wang, S., Huang, K., Yan, X.: Coverage directed test generation based on genetic algorithm. J. Zhejiang Univ. (Eng. Sci.) 50(3), 581–588 (2016)
12.
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)
13.
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)CrossRef
14.
Ros, A., Acacio, M.E., García, J.M.: A scalable organization for distributed directories. J. Syst. Archit. 56(2–3), 77–87 (2010)CrossRef
Metadaten
Titel
Directory Controller Verification Based on Genetic Algorithm
verfasst von
Li Luo
Li Zhou
Hailiang Zhou
Quanyou Feng
Guoteng Pan
Copyright-Jahr
2020
Verlag
Springer Singapore
Buch
Advanced Computer Architecture

Print ISBN: 978-981-15-8134-2

Electronic ISBN: 978-981-15-8135-9

Copyright-Jahr: 2020

DOI
https://doi.org/10.1007/978-981-15-8135-9_15

Neuer Inhalt

    Bildnachweise