System level modeling methodology of NoC design from UML-MARTE to VHDL

The evolution of the semiconductor technology caters for the increase in the System-on-Chip (SoC) complexity. In particular, this complexity appears in the communication infrastructures like the Network-on-Chips (NoCs). However many complex SoCs are becoming increasingly hard to manage. In fact, the design space, which represents all the concepts that need to be explored during the SoC design, is becoming dramatically large and difficult to explore. In addition, the manipulation of SoCs at low levels, like the Register Transfer Level (RTL), is based on manual approaches. This has resulted in the increase of both time-to-market and the development costs. Thus, there is a need for developing some automated high level modeling environments for computer aided design in order to handle the design complexity and meet tight time-to-market requirements. The extension of the UML language called UML profile for MARTE (Modeling and Analysis of Real-Time and Embedded systems) allows the modeling of repetitive structures such as the NoC topologies which are based on specific concepts. This paper presents a new methodology for modeling concepts of NoC-based architectures, especially the modeling of topology of the interconnections with the help of the repetitive structure modeling (RSM) package of MARTE profile. This work deals with the ways of improving the effectiveness of the MARTE standard by clarifying and extending some notations in order to model complex NoC topologies. Our contribution includes a description of how these concepts may be mapped into VHDL. The generated code has been successfully evaluated and validated for several NoC topologies.

[1]  S. Kumar,et al.  Design issues and performance evaluation of mesh NoC with regions , 2005, 2005 NORCHIP.

[2]  Jean-Luc Dekeyser,et al.  Model Driven Engineering Benefits for High Level Synthesis , 2008 .

[3]  Pierre Boulet,et al.  Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing , 2008 .

[4]  Cathy Berthouzoz,et al.  Synthesized UML, a Practical Approach to Map UML to VHDL , 2005, RISE.

[5]  Axel Jantsch,et al.  Network on Chip : An architecture for billion transistor era , 2000 .

[6]  Frédéric Guyomarc'h,et al.  A Graphical Framework for High Performance Computing Using An MDE Approach , 2008, 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008).

[7]  Jean-Luc Dekeyser,et al.  Multilevel MPSOC simulation using an MDE approach , 2007, 2007 IEEE International SOC Conference.

[8]  Luca Benini,et al.  Networks on Chips : A New SoC Paradigm , 2022 .

[9]  Emmanuel Boutillon,et al.  Array-OL : proposition d'un formalisme tableau pour le traitement de signal multi-dimensionnel , 1995 .

[10]  M. Coppola,et al.  Spidergon: a novel on-chip communication network , 2004, 2004 International Symposium on System-on-Chip, 2004. Proceedings..

[11]  Jean-Luc Dekeyser,et al.  Model Transformations from a Data Parallel Formalism towards Synchronous Languages , 2007, FDL.

[12]  Radu Marculescu,et al.  Application-specific network-on-chip architecture customization via long-range link insertion , 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

[13]  Bran Selic,et al.  Modeling and Analysis of Real-Time and Embedded Systems , 2005, MoDELS.

[14]  Rached Tourki,et al.  FeRoNoC: Flexible and extensible Router implementation for diagonal mesh topology , 2011, Proceedings of the 2011 Conference on Design & Architectures for Signal & Image Processing (DASIP).

[15]  Jean-Luc Dekeyser,et al.  From MARTE to Reconfigurable NoCs: A Model Driven Design Methodology , 2010 .

[16]  Pierre Boulet,et al.  Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing , 2010, Multidimens. Syst. Signal Process..

[17]  Jean-Philippe Diguet,et al.  μSPIDER CAD TOOL: CASE STUDY OF NOC IP GENERATION FOR FPGA , 2007 .

[18]  W. Gareth J. Howells,et al.  Array OL Descriptions of Repetitive Structures in VHDL , 2008, ECMDA-FA.

[19]  Fernando Gehm Moraes,et al.  HERMES: an infrastructure for low area overhead packet-switching networks on chip , 2004, Integr..

[20]  Rached Tourki,et al.  Modeling Networks-on-Chip at System Level with the MARTE UML profile , 2011 .

[21]  Luca Benini,et al.  Xpipes: a latency insensitive parameterized network-on-chip architecture for multiprocessor SoCs , 2003, Proceedings 21st International Conference on Computer Design.

[22]  Luca Benini,et al.  Xpipes: A latency insensitive parameterized network-on-chip architecture for multi-processor SoCs , 2003, 2012 IEEE 30th International Conference on Computer Design (ICCD).

[23]  T. Larsen,et al.  RF requirements for multi-hop cellular network repeaters , 2004, Proceedings Norchip Conference, 2004..

[24]  Jan Haase,et al.  Embedded Systems Specification and Design Languages , 2008 .

[25]  Massimo Felici,et al.  Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain , 2006, RISE.

[26]  E.A. Lee,et al.  Synthesis of parallel hardware implementations from synchronous dataflow graph specifications , 1996, Conference Record of The Thirtieth Asilomar Conference on Signals, Systems and Computers.

[27]  Srinivasan Murali,et al.  Designing Reliable and Efficient Networks on Chips , 2009, Lecture Notes in Electrical Engineering.

[28]  Marco A. Wehrmeister,et al.  Generating VHDL Source Code from UML Models of Embedded Systems , 2010, DIPES/BICC.

[29]  Jean-Luc Dekeyser,et al.  A Model-Driven Design Framework for Massively Parallel Embedded Systems , 2011, TECS.

[30]  W. Dally,et al.  Route packets, not wires: on-chip interconnection networks , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[31]  Robertas Damasevicius,et al.  Application of UML for hardware design based on design process model , 2004, ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).

[32]  Pierre Boulet,et al.  Array-OL Revisited, Multidimensional Intensive Signal Processing Specification , 2007 .

[33]  Andy J. Wellings,et al.  Measuring and policing blocking times in real-time systems , 2010, TECS.

[34]  T. Risset,et al.  Generating Regular Arithmetic Circuits with AlpHard , 1996 .

[35]  Jean-Marie Favre,et al.  Foundations of Model (Driven) (Reverse) Engineering : Models - Episode I: Stories of The Fidus Papyrus and of The Solarus , 2004, Language Engineering for Model-Driven Software Development.

[36]  Alberto L. Sangiovanni-Vincentelli,et al.  Addressing the system-on-a-chip interconnect woes through communication-based design , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[37]  Sujit Dey,et al.  On-chip communication architecture for OC-768 network processors , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[38]  Rached Tourki,et al.  Nouvelles architectures génériques de NoC , 2009, Tech. Sci. Informatiques.