e & i Elektrotechnik und Informationstechnik

, Volume 132, Issue 6, pp 269–273 | Cite as

Verification challenges of complex system-on-chip devices

  • Martin Horauer
  • Dominik Widhalm
  • Stefan Tauner
  • Stefan Mirtl
Originalarbeiten
  • 106 Downloads

Abstract

In recent years rising complexity, shrinking silicon feature sizes, and reduced design cycles have posed new challenges on the verification of modern system-on-chip solutions. To tackle the issues caused by the rising complexity various design and verification languages, as well as methodologies and tools have been introduced. Likewise, new and better physical process models allow for improved simulation of both analog and digital designs. Finally, strict management plans are used to cope with the shrinking design and verification cycles. Despite all these efforts, however, many problems exist in industrial state-of-the-art processes and tools.

This article gives some insights and presents some lessons learned from the design and verification of a recent automotive microcontroller, a complex system-on-chip solution. Based on these findings, a new verification flow is proposed that closes an identified gap between pre-silicon and post-silicon verification.

Keywords

system-on-chip pre- and post-silicon verification user-mode testing 

Herausforderungen an die Verifikation komplexer System-on-Chips

Zusammenfassung

Mit der steigenden Komplexität und immer kürzer werdenden Entwicklungszyklen ergeben sich neue Herausforderungen für die Verifikation von modernen, komplexen System-on-Chip-Lösungen. Neue Sprachen, Werkzeuge und Methoden sowie Design-Ansätze auf höherem Abstraktionsniveau, gepaart mit der Verwendung von IP-Cores, ermöglichen es, mehr Funktionalität rascher zu entwickeln. Kleinere Prozessgeometrien und bessere physikalische Simulationsmodelle erlauben es zudem, dies auch auf stets kleinerer Siliziumsfläche mit geringerem Energiebedarf zu realisieren. Der gesamte Entwurfs- und Verifikationsprozess wird durch stringente industrielle Prozessabläufe gelenkt und geleitet. Insbesondere durch das Wechselspiel digitaler und analoger Elemente können einzelne Probleme dennoch erst spät entdeckt werden.

Dieser Beitrag gibt Einsicht in die Verifikation moderner Mikrokontroller und zeigt, welche Lehren aus diesem Prozess gezogen werden konnten. Basierend auf diesen Erkenntnissen wird ein neuer Verifikations-Prozess vorgestellt, der eine festgestellte Lücke zwischen Pre- und Post-Silizium-Verifikation zu schließen versucht.

Schlüsselwörter

System-on-Chip Verifikation User-Mode-Test 

References

  1. 1.
    Adir, A., Copty, S., Landa, S., Nahir, A., Shurek, G., Ziv, A., Meissner, C., Schumann, J. (2011): A unified methodology for pre-silicon verification and post-silicon validation. In Design, automation test in Europe exhibition, DATE (pp. 1–6). Available online at: http://dx.doi.org/10.1109/DATE.2011.5763252. doi:10.1109/DATE.2011.5763252. Google Scholar
  2. 2.
    Adir, A., Nahir, A., Shurek, G., Ziv, A., Meissner, C., Schumann, J. (2011): Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. In 48th ACM/EDAC/IEEE design automation conference, DAC (pp. 569–574). Available online at: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5981978. Google Scholar
  3. 3.
    Melani, M., D’Ascoli, F., Marino, C., Fanucci, L., Giambastiani, A., Rocchi, A., De Marinis, M., Monterastelli, A. (2006): An integrated flow from pre-silicon simulation to post-silicon verification. In Ph.D. research in microelectronics and electronics (pp. 205–208). Available online at: http://dx.doi.org/10.1109/RME.2006.1689932. doi:10.1109/RME.2006.1689932. Google Scholar
  4. 4.
    Azaïs, F., Bernard, S., Bertrand, Y., Renovell, M. (2001): A low-cost BIST architecture for linear histogram testing of ADCs. J. Electron. Test., 17(2), 139–147. Available online at: http://dx.doi.org/10.1023/A:1011173710479. doi:10.1023/A:1011173710479. CrossRefGoogle Scholar
  5. 5.
    Azaïs, F., Bernard, S., Bertrand, Y., Renovell, M. (2001): Implementation of a linear histogram BIST for ADCs. In Design, automation and test in Europe proceedings, DATE (pp. 590–595). New York: IEEE Press. Available online at: http://dl.acm.org/citation.cfm?id=367072.367829. Google Scholar

Copyright information

© Springer Verlag Wien 2015

Authors and Affiliations

  • Martin Horauer
    • 1
  • Dominik Widhalm
    • 1
  • Stefan Tauner
    • 1
  • Stefan Mirtl
    • 2
  1. 1.Department of Embedded SystemsUniversity of Applied Sciences Technikum WienWienAustria
  2. 2.Infineon Technologies Austria AGVillachAustria

Personalised recommendations