Thesis Slides IRQ

523 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
523
On SlideShare
0
From Embeds
0
Number of Embeds
6
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Thesis Slides IRQ

  1. 1. MARTE based model driven designmethodology for targeting dynamically reconfigurable FPGA based SoCs Imran Rafiq Q UADRI PhD Defense 20th April, 2010(Imran Rafiq QUADRI - PhD Defense) 20th April 2010 1 / 41
  2. 2. Outline DIP Control aspects applications MDE SoC Co-Design (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 2 / 41
  3. 3. Outline DIP Control aspects applications MDE SoC Co-Design (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 2 / 41
  4. 4. Outline : Systems-on-Chips
  5. 5. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 3 / 41
  6. 6. Systems-on-Chips Important characteristics
  7. 7. Omnipresent in our daily lives
  8. 8. Targeted application domains Conception : !
  9. 9. # Modeling, Simulation, $%% Synthesis .. Reconfigurability (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 3 / 41
  10. 10. Systems-on-Chips Important characteristics Omnipresent in our daily lives Targeted application domains Conception : Modeling, Simulation, Synthesis .. Reconfigurability (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 3 / 41
  11. 11. Systems-on-Chips Important characteristics Omnipresent in our daily lives Targeted application domains Conception : Modeling, Simulation, Synthesis .. Reconfigurability (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 3 / 41
  12. 12. Reconfigurable Systems Reconfigurable Computing Possible implementation of paradigms such as : Sequential execution : on processors Data Parallel execution : on hardware accelerators Different terminologies : ConfigWare, Morphware, Flowware. . . Classification Granularity, coupling, interconnections, reconfiguration type, etc Towards Reconfigurable Systems-on-Chips Field Programmable Gate Arrays (FPGAs) (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 4 / 41
  13. 13. Types of Reconfiguration Where ? Exo / Endo reconfiguration When ? Static / Dynamic How ? Full / Partial Presence of a controller component (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 5 / 41
  14. 14. Partial Dynamic Reconfiguration (PDR) : Self internal reconfiguration possible One Partial Reconfigurable Region (PRR) can have multiple Partial Reconfigurable Modules (PRMs) (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 6 / 41
  15. 15. SoC design challenges Productivity / Complexity Productivity gap Reliability / Verification Loss of human lives, system loss Reconfigurability How to express control ? (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 7 / 41
  16. 16. SoC design challenges Productivity / Complexity Productivity gap Reliability / Verification Loss of human lives, system loss Reconfigurability How to express control ? Some solutions : Component based approach, elevation of design abstraction levels, SoC Co-Design, IP-Reuse, etc (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 7 / 41
  17. 17. Component Based Software Engineering (CBSE)CBSE and Reconfigurability Component Models and Component Frameworks Homogeneous / Heterogeneous Static / Dynamic Adaptivity in CBSE Present at different granularities Techniques : AOP, Wrappers, Reflection etc Controller component manages Configurations (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 8 / 41
  18. 18. Outline : Model-Driven Engineering
  19. 19. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 9 / 41
  20. 20. Model-Driven Engineering Models Metamodels Model Transformations UML profiles (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 9 / 41
  21. 21. Model-Driven Engineering Models Metamodels Model Transformations UML profiles (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 9 / 41
  22. 22. Model-Driven Engineering Models Metamodels Model Transformations UML profiles
  23. 23. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 9 / 41
  24. 24. MARTEModeling and Analysis of Real-Time and Embedded Systems For Real-Time and Embedded Systems Additional advantages such as : Non Functional Properties Timing aspects First version available since 2007 http ://www.omgmarte.org/ Support of current UML modeling tools Papyrus, Rhapsody, MagicDraw, Modelio etc (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 10 / 41
  25. 25. MARTEModeling and Analysis of Real-Time and Embedded Systems MARTE compliant modeling tools Need of an underlying framework Aspects of (re)configurability Absent until version 1.0 released in early 2010 A large community still prefers HLS / RTL tools (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 11 / 41
  26. 26. MARTEModeling and Analysis of Real-Time and Embedded Systems MARTE compliant modeling tools Need of an underlying framework Aspects of (re)configurability Absent until version 1.0 released in early 2010 A large community still prefers HLS / RTL tools Modeling of Reconfigurable Systems via MARTE .. I.Quadri et al. A Model Driven design flow for FPGAs supporting Partial Reconfiguration. International Journal of Reconfigurable Computing, Hindawi, 2009 I.Quadri et al. MARTE based modeling approach for partial dynamic reconfigurable fpgas. ESTIMedia, ESWEEK. USA. 2008 (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 11 / 41
  27. 27. Gaspard2 : SoC Co-Design framework $
  28. 28. #
  29. 29. $
  30. 30. #
  31. 31. $ $
  32. 32. #
  33. 33. !
  34. 34. !
  35. 35. !
  36. 36. $
  37. 37. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 12 / 41
  38. 38. Gaspard2 : SoC Co-Design frameworkA matrix-multiplication application and a QuadriPro architecture : Task Parallelism
  39. 39. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 12 / 41
  40. 40. Gaspard2 : SoC Co-Design frameworkA matrix-multiplication application and a QuadriPro architecture : Data Parallelism MatrixMultiplication matrixIN1: Real(8) [{4,4}] «tiler» «shaped» origin = {0,0}, dp: dotProduct [{4,4}] paving = {{1,0},{0,0}}
  41. 41. fitting = {{0,1}} matrixOUT: Real(8) [{4,4}]
  42. 42. row: Real(8) [{4}] dot: Real(8) [{}] origin = {0,0}, «tiler» paving = {{0,0},{0,1}} column: Real(8) [{4}] origin = {0,0},
  43. 43. fitting = {{1,0}} paving = {{1,0},{0,1}} fitting = {{}} «tiler» matrixIN2: Real(8) [{4,4}] «hwComputingResource» RepProcessingUnit ibus [{4}]] «tiler» «hwProcessor, shaped» origin = {0}, ibus [{}] paving = {{1}} 4u: ProcessingUnit [{4}] fitting = {{0}} origin = {0}, paving = {{1}} dbus [{}] fitting = {{0}} «tiler» dbus [{4}]] (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 12 / 41
  44. 44. Gaspard2 : SoC Co-Design frameworkA matrix-multiplication application and a QuadriPro architecture : Allocation MatrixMultiplication matrixIN1: Real(8) [{4,4}] «tiler» «shaped» origin = {0,0}, dp: dotProduct [{4,4}]
  45. 45. paving = {{1,0},{0,0}} matrixOUT: Real(8) [{4,4}]
  46. 46. fitting = {{0,1}} row: Real(8) [{4}] dot: Real(8) [{}] origin = {0,0}, «tiler» paving = {{0,0},{0,1}} column: Real(8) [{4}]
  47. 47. fitting = {{1,0}} origin = {0,0}, paving = {{1,0},{0,1}} fitting = {{}} «tiler» matrixIN2: Real(8) [{4,4}] repetitionSpace = {4,4}, «Abstraction» patternShape = {1}, «Distribute» fromTiler = {origin = {0,0}, paving = {{1,0},{0,1}}, fitting = {{0,0}}} toTiler = {origin = {0}, paving = {{1},{0}}, fitting = {{0}}} «hwComputingResource» RepProcessingUnit ibus [{4}]] «tiler» «hwProcessor, shaped» origin = {0}, ibus [{}] paving = {{1}} 4u: ProcessingUnit [{4}] fitting = {{0}} origin = {0}, paving = {{1}} dbus [{}] fitting = {{0}} «tiler» dbus [{4}]] (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 12 / 41
  48. 48. Gaspard2 : SoC Co-Design frameworkA matrix-multiplication application and a QuadriPro architecture : Deployment dotProduct row: Real(8) [{4}] dot: Real(8) [{4}] column: Real(8) [{4}]
  49. 49. «implements»
  50. 50. «implements» «implements» «implements» «virtualIP» VirtualdotProduct «implements» vrow: Real(8) Linking an IP to an vdot: Real(8) Elementary component vcolumn: Real(8) «implements» «implements» «implements» «implements» «softwareIP» «softwareIP» dotProductimpHDL dotProductimpC «implements» «implements» «implements» IPHDLrow: Real(8) IPCrow: Real(8) IPHDLcolumn: Real(8) IPHDLdot: Real(8) IPCcolumn: Real(8) IPCdot: Real(8) «implements» «SoftwareIP» «SoftwareIP» language = VHDL language = C entryName = dotproduct parameters = [IPin1, IPin2, IPout] (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 12 / 41
  51. 51. Gaspard2 : SoC Co-Design frameworkA matrix-multiplication application and a QuadriPro architecture : Deployment
  52. 52. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 12 / 41
  53. 53. Positioning of the thesis SoC Co-Design Increasing complexity Component based approach No common standard High abstraction levels : MARTE No clear semantics or guidelines Gaspard2 SoC Co-Design framework No concrete realization of reconfigurability High level component based design methodology for reconfigurable SoCs in Gaspard2 (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 13 / 41
  54. 54. Contributions in Gaspard2 Two key concepts Dynamically reconfigurable hardware accelerator Reconfiguration controller $
  55. 55. #
  56. 56. $
  57. 57. #
  58. 58. $ $
  59. 59. #
  60. 60. !
  61. 61. !
  62. 62. !
  63. 63. $
  64. 64. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 14 / 41
  65. 65. Design flowOverview of the compilation chain (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 15 / 41
  66. 66. Outline : Control Semantics
  67. 67. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 16 / 41
  68. 68. Expressing Control semantics ? How to express control at high abstraction levels ? Should integrate seamlessly at all SoC design levels Application, Architecture, Allocation, IP-deployment What control semantics to use StateCharts, Petri nets, Mode Automata ? Initial contributions O. Labbani. Modélisation à haut niveau du contrôle dans des applications de traitement systématique à parallélisme massif . USTL. 2006 Notion of Degree of granularity, no hierarchical / parallel compositions H. Yu. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing : Transformation Toward the Synchronous Model. USTL. 2008 Hierarchical / parallel compositions possible, but only hypothesis (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 16 / 41
  69. 69. Modes and State Graphs Mode Switch Component (MSC) Gaspard State Graph Represents a collection of Component (GSGC) modes Acts as controller component Switch functionality : for Mode Switch execution of Component one exclusive mode State Graphs : similar to Harel StateCharts The modes M1 , ..., Mn ; are identified by the mode Graphical representation of transition functions values : m1 , ..., mn All modes : same interface
  70. 70. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 17 / 41
  71. 71. Macro Componentcomposition of the two concepts Macro Component : represents a complete control structure One possible combination shown Gaspard State Graph Component produces mode value(s) and the Mode Switch Component switches the modes accordingly represents one transition from a source to target state (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 18 / 41
  72. 72. Constructing Mode Automata Using additional MARTE concepts : Interrepetition dependency DefaultLink Tiler The Interrepetition dependency allows to represent continuous transitions C. Glitia. Optimisation des applications de traitement systématique intensives sur system-on-chip. USTL. 2009 (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 19 / 41
  73. 73. Control at which SoC design level ? Application level Different versions of an algorithm Yielding different degress of precision Example : DCT in H.264 codec
  74. 74. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 20 / 41
  75. 75. Control at which SoC design level ? Architecture level Adaptivity similar to application level Change in system structure or behavior Replacing a processor by a hardware accelerator Dynamic Frequency / Voltage Scaling
  76. 76. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 20 / 41
  77. 77. Control at which SoC design level ? Allocation level For increasing system performance Decreasing power consumption levels Spatial / Temporal allocation Design Space Exploration strategy
  78. 78. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 20 / 41
  79. 79. Control at which SoC design level ? Comparison of control at the three levels I. Quadri et al. High-level modeling of dynamically reconfigurable heterogeneous systems. Book Chapter in Heterogeneous Embedded Systems - Design Theory and Practice. Springer. 2010 I.Quadri et al. Integrating Mode Automata Control Models in SoC Co-Design for Dynamically Reconfigurable FPGAs. DASIP. France. 2009 (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 21 / 41
  80. 80. Control at which SoC design level ? Integration at another SoC design level IP-Deployment level (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 21 / 41
  81. 81. Control at which SoC design level ? IP-Deployment level An ementary component can be related to an IP In SoC : application functionality can be either optimized for processor / hardware accelerator QoS criteria related to IPs : consumed resources, latency etc.
  82. 82. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 22 / 41
  83. 83. Extending current notion of ControlBasic conditions Addition of implementations in Array-OL Control scope levels Task level all repetitions changed Repetition level subset of repetitions changed Same Task-Multiple implementations level different repetition subsets related to different implementations Hybrid level all repetitions related to one implementation Limitations : Synchronization of control / data flow Data management (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 23 / 41
  84. 84. Control at Deployment level Switching between global system implementations Application, Architecture and Allocation models can be reused Gaspard State graph component ⇒ controller Mode switch component ⇒ switch for implementations Modes have same interface a.k.a PRMs of a PRR (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 24 / 41
  85. 85. MARTE metamodel and profile extension Behavioral concepts in MARTE are not detailed enough No notion of implementations for elementary components Use of Merge mechanism developed in DaRT
  86. 86. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 25 / 41
  87. 87. MARTE extension : State Graph concepts Integrating behavior with MARTE StructuredComponent MARTE compatible concepts StateGraphs, Transitions, Triggers, Events, Collaborations, etc 30+ Metaclasses, 40+ Metarelations (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 26 / 41
  88. 88. MARTE extension : State Graph concepts Overview Property BehavioredClassifier (from Foundations) (from CommonBehavior) aggregation : AggregationKind 0..* collaborationRole mainBehavior ownedBehavior parts 0..1 0..* InteractionPort StructuredComponent AssemblyPart OpaqueBehavior Behavior ownedPorts 0..* doActivity body : EString 0..* language : EString 0..1 Action action ownedConnectors 0..* FlowPort 0..* isConjugated : EBoolean AssemblyConnector CompositeBehavior isAtomic : EBoolean direction : DirectionKind enumeration enumeration DirectionKind PseudostateKind _in initial _out submachine StateGraph deepHistory _inout shallowHistory 0..1 Collaboration NameSpace regions 1..* container Region name : EString 1..1 0..1 container event region Event 1..1 Trigger 0..* trigger 0..* transition subvertex transition 0..1 0..* target 0..* incoming 1..1 0..* MessageEvent ChangeEvent LiteralString Vertex Transition ModelElement (from Foundations) value : String unique_name : EString source name : EString transit outgoing name : String 0..1 changeExpression 0..* 1..1 1..1 AnyReceiveEvent connectionPoint 0..* ValueSpecification Pseudostate State (from vsl) LiteralSpecification kind : PseudostateKind state (from vsl) 0..1 submachineState 0..* (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 26 / 41
  89. 89. MARTE extension : State Graph concepts Behavior, Collaborations ... Property BehavioredClassifier (from Foundations) (from CommonBehavior) aggregation : AggregationKind 0..* collaborationRole parts InteractionPort StructuredComponent AssemblyPart ownedPorts 0..* 0..* mainBehavior ownedBehavior 0..1 0..* ownedConnectors Behavior FlowPort 0..* isConjugated : EBoolean AssemblyConnector isAtomic : EBoolean direction : DirectionKind OpaqueBehavior body : EString enumeration language : EString DirectionKind _in _out _inout Collaboration (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 26 / 41
  90. 90. MARTE extension : State Graph concepts State Graph, States ... OpaqueBehavior Behavior doActivity body : EString language : EString 0..1 Action action 0..* enumeration CompositeBehavior PseudostateKind initial submachine StateGraph deepHistory shallowHistory 0..1 NameSpace regions 1..* container Region name : EString 1..1 0..1 container region 0..* subvertex transition 0..* target 0..* incoming 1..1 0..* Vertex Transition unique_name : EString source name : EString transit outgoing 0..1 0..* 1..1 connectionPoint 0..* Pseudostate State kind : PseudostateKind state 0..1 submachineState 0..* (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 26 / 41
  91. 91. MARTE extension : State Graph concepts Transitions, Triggers, Events ... event Event 1..1 Trigger trigger 0..* transition 0..1 0..* Transition MessageEvent ChangeEvent ModelElement LiteralString (from Foundations) value : String name : EString name : String changeExpression 0..* 1..1 AnyReceiveEvent ValueSpecification (from vsl) LiteralSpecification (from vsl) (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 26 / 41
  92. 92. MARTE extension : IP-Deployment Initial concepts of IP-Deployment : E. Piel. Ordonnancement de systèmes parallèles temps-réel, de la modélisation à la mise en œuvre par l’ingénierie dirigée par les modèles. USTL. 2007 Notion of Configurations related to QoS (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 27 / 41
  93. 93. MARTE extension : IP-Deployment Initial concepts of IP-Deployment : E. Piel. Ordonnancement de systèmes parallèles temps-réel, de la modélisation à la mise en œuvre par l’ingénierie dirigée par les modèles. USTL. 2007 Notion of Configurations related to QoS IP ClassifierTypeExtension language : EString (from extensions) entryName : EString logicalElements : EInt DynamicPower : EFloat Configuration name : String ConfigurationID : String InitialConfiguration : Boolean configuration 0..* SoftwareIP ipName : EString softwareIP 1..* (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 27 / 41
  94. 94. Configurations A Global implementation of application, architecture or mapping of both Control at deployment : several configurations possible A configuration : collection of different IPs An elementary component can be associated with same IP in different configurations For n configurations : each having m elementary components, each elementary components must have at least one IP EC X EC Y EC Z IPY1 IPY2 IPZ1 IPX1 IPX2 Configuration C1 Configuration C2 ConfigurationID = Mode1 ConfigurationID = Mode2 InitialState = true InitialState = false ip = [IPX1, IPY1, IPZ1] ip = [IPX1, IPY2, IPZ1] (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 28 / 41
  95. 95. Examples : Modeling of an application TimeRepeatedMultiplicationAddition origin = {0}, «tiler» paving = {{1}}, inDataTRM: [{*}] fitting = {{1}} «shaped» rm: RepeatedMultAdder [{*}] outDataTRM: [{64,*}] InDataM: [{128}] «tiler» origin = {0,0}, outM: [{64}] «tiler» paving = {{0,1}}, origin = {0,0}, fitting = {{1,0}} paving = {{0,1}}, InCoeffM: [{128}] fitting = {{1,0}} inCoeffTRM: [{128,*}] RepeatedMultAdder inDataM: [{128}] origin = {0}, «tiler» paving = {{2}}, fitting = {{0}} «shaped» ma: MultiplicationAddition [{64}] «tiler» outM: [{64}] origin = {1}, inData1: [{}] «tiler» paving = {{2}}, outM: [{}] fitting = {{0}} origin = {0}, inData2: [{}] paving = {{1}}, fitting = {{0}} «tiler» origin = {0}, inCoeff1: [{}] paving = {{2}}, fitting = {{0}} inCoeff2: [{}] origin = {1}, «tiler» paving = {{2}}, nCoeffM: [{128}] fitting = {{0}} MultiplicationAddition inData1: [{}] inData2: [{}] outM: [{}] inCoeff1: [{}] inCoeff2: [{}] (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 29 / 41
  96. 96. Examples : Deploying the modeled application MultiplicationAddition InData1: [{}] outM: [{}] «Configuration» ConfigurationID = DSPMode «implements» «implements» «implements» InitialState = true ip = [DSPCase] «virtualIP» «configuration» «implements» VirtualMultAdder «implements» DSPConfiguration VIPinData1 VIPoutM «configuration» IfelseConfiguration «implements» «implements» «implements» «implements» «softwareIP» «softwareIP» IfThenElse DSPCase «implements» «implements» IPinData1 IPoutM IPinData1 IPoutM «Configuration» ConfigurationID = IfelseMode InitialState = false «SoftwareIP» ip = [IfThenElse] «SoftwareIP» language = VHDL language = VHDL logicalUnits = 0.03% logicalUnits = 0.026% (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 29 / 41
  97. 97. Examples : Modeling of control concepts State Graph, Mode Switch Component etc ... StateGraph Gaspard State Graph Component when ifelse_event and not dsp_event istate: Statevalues [{}] ostate: Statevalues [{}] dsp_event: Boolean [{}] modevalue: Modes [{}] State_DSP State_Ifelse when dsp_event ifelse_event: Boolean [{}] and not ifelse_event all all Mode Switch Component cf1: DSPConfiguration Mode: Modes [{}] cf2: IfelseConfiguration (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 29 / 41
  98. 98. Examples : Modeling of control concepts Macro Component Macro Component i_state: Statevalues [{}] gsgc: Gaspard State GraphComponent ostate: Statevalues [{}] istate: Statevalues [{}] dsp_e: Boolean [{}] o_state: Statevalues [{}] dsp_event: Boolean [{}] modevalue: Modes [{}] ifelse_e: Boolean [{}] ifelse_event: Boolean [{}] msc: Mode Switch Component Mode: Modes [{}] DSPMode IfelseMode : Mode Switch Component : Mode Switch Component : IfelseConfiguration : DSPConfiguration (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 29 / 41
  99. 99. Examples : Modeling of control concepts Mode Automata Deployed Automata «interRepetition» repetitionShapeDependence = {-1} «shaped» «defaultLink» mc: Macro Component [{*}] defaultin: Statevalues [{}] origin = {0}, i_state: Statevalues [{}] «tiler» paving = {{1}}, fitting = {{0}} dsp_e: Boolean [{}] o_state: Statevalues [{}] dsp_event: Boolean [{*}] ifelse_e: Boolean [{}] ifelse_event: Boolean [{*}] «tiler» origin = {0}, paving = {{1}}, fitting = {{0}} (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 29 / 41
  100. 100. Extension of RTL metamodel in Gaspard2 Before : 35 Metaclasses Now : 65 Metaclasses Before : 85 Metarelations Now : 170 Metarelations Single hardware accelerator Multiple hardware No aspects of control accelerators No dynamic aspects Aspects of control Dynamic aspects S. Le Beux. Un flot de conception pour applications de traitement du signal systématique implémentées sur FPGA à base d’Ingénierie Dirigée par les Modèles.
  101. 101. USTL. 2007
  102. 102. (Imran Rafiq QUADRI - PhD Defense) 20th April 2010 30 / 41

×