---------------------------------------------------
-- Property for Interconnection modeling
---------------------------------------------------
Supported_SoC_Interconnection_Type : type enumeration (
Shared_Bus, Star, Point_to_point_Link , Crossbar, NoC, Torus_NoC, Mesh_NoC);
SoC_Interconnection_Type : Cheddar_Multicore_Properties::Supported_SoC_Interconnection_Type applies to (system);
Supported_Routing_Type : type enumeration (
XY, YX, XYX, Programmable_Routing);
Routing_Protocol : Cheddar_Multicore_Properties::Supported_Routing_Type applies to (system);
Supported_Switching_Type : type enumeration (
Wormhole, Store_And_Forward, Virtual_Cut_Through);
Switching_Protocol : Cheddar_Multicore_Properties::Supported_Switching_Type applies to (system);
IP_Position_Spec : type record (
x : aadlinteger;
y : aadlinteger;
);
IP_Positions: list of reference (IP_Position_Spec)
applies to (system);
Number_Of_Virtual_Channel : aadlinteger applies to (system);
Supported_Arbitration_Type : type enumeration (
TDMA, Non_Conservative_Round_Robin, Conservative_Round_Robin, Round_Robin_With_Bandwidth_Reservation, Fixed_Priority_Based);
Arbitration_Type : Cheddar_Multicore_Properties::Supported_Arbitration_Type applies to (system);
Supported_Data_Memorisation_Type : type enumeration (
Virtual_Channel, Input_Port_buffer, Output_Port_buffer);
Data_Memorisation_Type : Cheddar_Multicore_Properties::Supported_Arbitration_Type applies to (system);
Supported_Communication_Preemption_Level : type enumeration (
Flit, Packet);
Communication_Preemption_Level : Cheddar_Multicore_Properties::Supported_Communication_Preemption_Level applies to (system);