Robust Computing Systems: From Today to the N3XT 1,000×

By Subhasish Mitra

Electrical Engineering and of Computer Science, Stanford University, Stanford, CA

Published on

Abstract

Future computing systems require research breakthroughs in:

  • Robustness: Existing validation and test methods barely cope with today’s complexity. Reliability failures, largely benign in the past, are becoming visible at the system level.
  • Performance: Energy benefits of silicon have plateaued (power wall). Abundant-data applications (e.g., machine learning) are increasingly dominated by off-chip memory accesses (memory wall).
  • New applications: Neuro- and bio-sciences create tremendous opportunities for new computing systems: from implants to understanding brain functions.

This talk presents an overview of my group’s research in the above areas, and particularly emphasizes complexity and performance:

  • QED and Symbolic QED dramatically improve pre-silicon verification and post-silicon validation. Difficult bugs can now be detected and localized automatically, in a few minutes to a few hours (vs. weeks or months of intense manual work today).
  • N3XT leverages emerging nanotechnologies to create new architectures that overcome the memory wall and the power wall. N3XT targets 1,000X energy efficiency improvements for future computing systems. N3XT hardware prototypes are examples of transforming scientifically-interesting nanomaterials and nanodevices into actual nanosystems.

Bio

Subhasish Mitra Subhasish Mitra is Professor of EE and of CS at Stanford University, where he directs the Stanford Robust Systems Group and co-leads the Computation focus area of the Stanford SystemX Alliance. He is also a faculty member of the Stanford Neurosciences Institute. Prof. Mitra holds the Carnot Chair of Excellence in Nanosystems at CEA-LETI in Grenoble, France. Before joining the Stanford faculty, he was a Principal Engineer at Intel Corporation. Prof. Mitra's research interests range broadly across robust computing, nanosystems, VLSI design, validation, test and electronic design automation, and neurosciences.

Cite this work

Researchers should cite this work as follows:

  • Subhasish Mitra (2019), "Robust Computing Systems: From Today to the N3XT 1,000×," https://nanohub.org/resources/30453.

    BibTex | EndNote

Time

Location

PGSC 105, Purdue University, West Lafayette, IN

Tags

Robust Computing Systems: From Today to the N3XT 1,000×
  • Robust Computing Systems From Today to the N3XT 1,000× 1. Robust Computing Systems From … 0
    00:00/00:00
  • World Relies on Computing 2. World Relies on Computing 162.59592926259595
    00:00/00:00
  • World Relies on Computing 3. World Relies on Computing 215.48214881548216
    00:00/00:00
  • Research Topics 4. Research Topics 316.08274941608278
    00:00/00:00
  • Outline 5. Outline 468.30163496830164
    00:00/00:00
  • Pre-Silicon Verification Inadequate 6. Pre-Silicon Verification Inade… 500.13346680013348
    00:00/00:00
  • Post-Silicon Validation Difficult 7. Post-Silicon Validation Diffic… 612.31231231231232
    00:00/00:00
  • Scalability Barriers 8. Scalability Barriers 720.653987320654
    00:00/00:00
  • QED 9. QED 817.25058391725065
    00:00/00:00
  • Error Detection Latency 10. Error Detection Latency 900.80080080080086
    00:00/00:00
  • Quick Error Detection 11. Quick Error Detection 1011.5782449115783
    00:00/00:00
  • Quick Error Detection 12. Quick Error Detection 1133.3667000333667
    00:00/00:00
  • Quick Error Detection 13. Quick Error Detection 1220.0533867200534
    00:00/00:00
  • QED Transforms 14. QED Transforms 1258.0246913580247
    00:00/00:00
  • QED Example: Duplicate & Check 15. QED Example: Duplicate & Check 1297.4307640974307
    00:00/00:00
  • QED Example: Duplicate & Check 16. QED Example: Duplicate & Check 1320.2202202202202
    00:00/00:00
  • QED Improves Coverage 17. QED Improves Coverage 1466.5665665665667
    00:00/00:00
  • QED Improves Coverage 18. QED Improves Coverage 1492.7594260927594
    00:00/00:00
  • Diversity-Enhanced QED 19. Diversity-Enhanced QED 1503.3033033033034
    00:00/00:00
  • QED Coverage Considerations 20. QED Coverage Considerations 1660.8608608608608
    00:00/00:00
  • QED Effective for Electrical Bugs 21. QED Effective for Electrical B… 1778.9122455789122
    00:00/00:00
  • E-QED 22. E-QED 1879.9132465799132
    00:00/00:00
  • QED Effective for Logic Bugs 23. QED Effective for Logic Bugs 1930.1634968301635
    00:00/00:00
  • Symbolic QED 24. Symbolic QED 2009.0757424090759
    00:00/00:00
  • Traditional Bounded Model Checking 25. Traditional Bounded Model Chec… 2051.7183850517185
    00:00/00:00
  • Traditional BMC vs. Symbolic QED 26. Traditional BMC vs. Symbolic Q… 2093.3933933933936
    00:00/00:00
  • BMC Symbolic QED 27. BMC Symbolic QED 2179.1124457791125
    00:00/00:00
  • Symbolic QED Results 28. Symbolic QED Results 2270.8041374708041
    00:00/00:00
  • BUT… 29. BUT… 2407.4074074074074
    00:00/00:00
  • Symbolic QED: Billion-Transistor SoCs 30. Symbolic QED: Billion-Transist… 2456.9903236569903
    00:00/00:00
  • More Opportunities 31. More Opportunities 2480.9476142809476
    00:00/00:00
  • Outline 32. Outline 2551.7517517517517
    00:00/00:00
  • Improve Computing Performance 33. Improve Computing Performance 2595.1284617951287
    00:00/00:00
  • Improve Computing Performance 34. Improve Computing Performance 2619.285952619286
    00:00/00:00
  • Solution: NanoSystems 35. Solution: NanoSystems 2648.7821154487824
    00:00/00:00
  • Abundant-Data Applications 36. Abundant-Data Applications 2722.288955622289
    00:00/00:00
  • Nano-Engineered Computing Systems Technology 37. Nano-Engineered Computing Syst… 2808.2749416082752
    00:00/00:00
  • N3XT NanoSystems 38. N3XT NanoSystems 2849.3827160493829
    00:00/00:00
  • N3XT NanoSystems 39. N3XT NanoSystems 2853.5869202535869
    00:00/00:00
  • N3XT Computation Immersed in Memory 40. N3XT Computation Immersed in M… 2924.8248248248251
    00:00/00:00
  • Carbon Nanotube FET (CNFET) 41. Carbon Nanotube FET (CNFET) 3142.676009342676
    00:00/00:00
  • Putting into Perspective 42. Putting into Perspective 3208.5085085085088
    00:00/00:00
  • Big Promise, Major (Past) Obstacles 43. Big Promise, Major (Past) Obst… 3370.9042375709046
    00:00/00:00
  • Imperfection-Immune VLSI 44. Imperfection-Immune VLSI 3394.0273606940273
    00:00/00:00
  • Most Importantly 45. Most Importantly 3413.7804471137806
    00:00/00:00
  • CNT Computer 46. CNT Computer 3435.3687020353686
    00:00/00:00
  • 10X EDP, BUT… How can we do better ? 47. 10X EDP, BUT… How can we do … 3442.9429429429429
    00:00/00:00
  • 3D Integration 48. 3D Integration 3449.6496496496497
    00:00/00:00
  • Device + Architecture Benefits 49. Device + Architecture Benefits 3515.9826493159826
    00:00/00:00
  • 3D NanoSystem 50. 3D NanoSystem 3533.733733733734
    00:00/00:00
  • 3D NanoSystem 51. 3D NanoSystem 3549.1491491491493
    00:00/00:00
  • N3XT Simulation Framework 52. N3XT Simulation Framework 3585.7857857857857
    00:00/00:00
  • Massive Benefits: Deep Learning, Graph Analytics, … 53. Massive Benefits: Deep Learnin… 3641.8752085418755
    00:00/00:00
  • Many NanoSystem Opportunities 54. Many NanoSystem Opportunities 3666.7000333667
    00:00/00:00
  • DARPA 3DSoC Program 55. DARPA 3DSoC Program 3742.8094761428097
    00:00/00:00
  • Outline 56. Outline 3748.3149816483151
    00:00/00:00
  • Neural Interfaces: Natural Resolution 57. Neural Interfaces: Natural Res… 3754.7881214547883
    00:00/00:00
  • Conclusion 58. Conclusion 3769.5362028695363
    00:00/00:00