【Model-Checking Yampa Programs in a Discrete Runtime Environment Using Uppaal】

报告题目:Model-Checking Yampa Programs in a Discrete Runtime Environment Using Uppaal

报告人:Prof.Shoji Yuen   Nagoya University

主持人:李鑫  副研究员

报告时间:2019年6月3日  周一14:00-15:00



Spintronic memory has been considered as one of the most promising nonvolatile memory candidates to address the leakage power consumption in the post-Moore’s era. To date, the spintronic memory family has evolved in four-generation technology advancement, from toggle-MRAM (product in 2006), to STT-MRAM (product in 2012), to SHE-MRAM (intensive R&D today), and to VCMA-MRAM (intensive R&D today). The trend from field-controlled, to current-controlled, and to voltage-controlled devices, allows for more energy efficiency of the memory itself, because of the significant decrease of the ohmic loss or joule heating. Meanwhile, novel spintronic memory paradigms are emerging, e.g., racetrack memory, for ultra-high-density storage to replace HDD or SDD. On the other hand, from the architectural perspective, data transfer bandwidth and the related power consumption has become the most critical bottleneck in von-Neumann computing architecture, owing to the separation of the processor and the memory units and the performance mismatch between the two. Realization of the unity of computing and memory in the same chip has opened up a promising research direction of computing-in-memory (CIM). Spintronic memory could be a promising technology to implement the CIM paradigm, owing to its intrinsic processing capability. Lots of interests have been attracted and a number of attempts have been made in this field. In this talk, I will review the R&D evolution of spintronic memory: from memory to computing-in-memory. Particularly, I will introduce our recent work on advanced spintronic memories as well as CIM paradigms implemented within spintronic memories. 


Shoji Yuen is Professor and Head of Department of information Engineering of Nagoya University, Japan. He received Ph.D. from Nagoya University in 1997. He has been a Professor at the Graduate School of Informatics of Nagoya University since 2007. His research interests are theories and applications of concurrency, especially for communicating software systems. Based on the theoretical framework of communicating processes, he has been working on the additional notion of data, and time to extend the application of the framework.

©2016 华东师范大学高可信计算重点实验室