For further information, please contact the General chair: Pierre-Emmanuel Gaillardon
Tokyo Institute of Technology, Japan
C++ System-Level Synthesis/Verification of Wireless Sensor Networks on the C2RTL Framework
Wireless sensor networks are one of the enabling IoT technology based on ultra-low power processors, intelligent routing protocol, data compression/encryption, device authentication, etc., in which the development process involves in-depth SW/HW co-designs to deliver the optimal sensing/communication/security solutions on the device-level as well as the network-level.
In this talk, we extend our recent work on C++-based system design framework (C2RTL) for wireless sensor network modeling. In our C2RTL framework, C++ model describes not only the processor microarchitecture, but the entire SoC architecture composed of peripherals, busses and memory subsystems, and also serves as the "source" for synthesizable RTL generation of the entire SoC. The SoC C++ model for a single wireless sensor node, equipped with TinyOS (lightweight wireless sensor network OS) and various HW accelerations for enhancing speed and energy efficiency, is integrated into the open-source wireless sensor network simulation framework (TOSSIM, SUNSHINE).
Tsuyoshi Isshiki has received B.E. and M.E. degrees from Tokyo Institute of Technology in 1990 and 1992, respectively, and received PhD in Computer Engineering from University of California at Santa Cruz in 1996. He is currently a professor at Tokyo Institute of Technology, Global Scientific Information and Computing Center. His research interests include multimedia SoC designs, Multiprocessor SoC design methodology and its design tools.