{"canonicalName":"forsyde::io::lib::hierarchy::ForSyDeHierarchy","vertexTraits":{"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFChannel":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFChannel","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::MoCEntity"],"requiredPorts":{"tokenDataType":{"name":"tokenDataType","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::DataTypeLike","edgeTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge","multiple":false,"optional":true,"outgoing":true,"incoming":false},"producer":{"name":"producer","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFActor","edgeTrait":"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFNetworkEdge","multiple":false,"optional":true,"outgoing":false,"incoming":true},"consumer":{"name":"consumer","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFActor","edgeTrait":"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFNetworkEdge","multiple":false,"optional":true,"outgoing":true,"incoming":false}},"requiredProperties":{"numInitialTokens":{"name":"numInitialTokens","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"numInitialTokens\")) getViewedVertex().putProperty(\"numInitialTokens\", forsyde.io.lib.hierarchy.behavior.moc.sdf.SDFChannel.super.numInitialTokens())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sdf.SDFChannel","simpleName":"SDFChannel"},"forsyde::io::lib::hierarchy::behavior::data::IEEE754Binary32FloatingPoint":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::data::IEEE754Binary32FloatingPoint","htmlDescription":" This trait captures a 32 bit IEEE 754 floating point number.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::data::RealLike"],"requiredPorts":{},"requiredProperties":{"numberOfBits":{"name":"numberOfBits","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"numberOfBits\")) getViewedVertex().putProperty(\"numberOfBits\", forsyde.io.lib.hierarchy.behavior.data.IEEE754Binary32FloatingPoint.super.numberOfBits())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.data.IEEE754Binary32FloatingPoint","simpleName":"IEEE754Binary32FloatingPoint"},"forsyde::io::lib::hierarchy::implementation::functional::BoundedBufferLike":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::BoundedBufferLike","htmlDescription":" A BoundedBuffer is a refinement of the potentially infinite BufferLike queue.\n It adds a maximum number of elements for this buffer which must be respects at all times.\n It also enables nice implementations in software and hardware, e.g. using circular buffers.\n","refinedTraits":["forsyde::io::lib::hierarchy::implementation::functional::BufferLike"],"requiredPorts":{},"requiredProperties":{"maxElements":{"name":"maxElements","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.BoundedBufferLike","simpleName":"BoundedBufferLike"},"forsyde::io::lib::hierarchy::behavior::data::IntegralLike":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::data::IntegralLike","htmlDescription":" This trait captures an integral datum type.\n That is, this is an integer with any number of encoding bits.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{},"requiredProperties":{"isSigned":{"name":"isSigned","htmlDescription":" Denotes if the integer encoding also captures negative integers.\n Unless specifically noted, the signed integer representation is two's complement.\n","initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"isSigned\")) getViewedVertex().putProperty(\"isSigned\", forsyde.io.lib.hierarchy.behavior.data.IntegralLike.super.isSigned())"},"defaultValue":null,"propertyType":{"category":"BooleanPropertyType","keyType":null,"valueType":null}},"numberOfBits":{"name":"numberOfBits","htmlDescription":" The number of bits in this encoding.\n For example, if the vertex being veiwed is a 32-bit integer variable, this number is 32.\n There is a high chance that this number os always powers of 2, as most comercial off-the-shelf machines\n are built around these, but the range is _open_ so that a designer is able to use any number they desire\n to seek a balance between performance vs precision.\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.data.IntegralLike","simpleName":"IntegralLike"},"forsyde::io::lib::hierarchy::behavior::FunctionLikeEntity":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::FunctionLikeEntity","htmlDescription":null,"refinedTraits":[],"requiredPorts":{},"requiredProperties":{"outputPorts":{"name":"outputPorts","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}},"inputPorts":{"name":"inputPorts","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.FunctionLikeEntity","simpleName":"FunctionLikeEntity"},"forsyde::io::lib::hierarchy::visualization::Visualizable":{"canonicalName":"forsyde::io::lib::hierarchy::visualization::Visualizable","htmlDescription":null,"refinedTraits":[],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.visualization.Visualizable","simpleName":"Visualizable"},"forsyde::io::lib::hierarchy::implementation::code::HasANSICImplementations":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::code::HasANSICImplementations","htmlDescription":" This trait enforces the vertex to have at least one inlined C-base implementation.\n\n There can be more than one, discriminted by a label for each inlined source code.\n For example, a vertex can have a chunck of code with the label \"riscv\" for RISC-V\n based processors and one with label \"cude\" to be implemented directly in a CUDA\n based flow, whenever possible.\n\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{"outputArgumentPorts":{"name":"outputArgumentPorts","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"outputArgumentPorts\")) getViewedVertex().putProperty(\"outputArgumentPorts\", forsyde.io.lib.hierarchy.implementation.code.HasANSICImplementations.super.outputArgumentPorts())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}},"returnPort":{"name":"returnPort","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"returnPort\")) getViewedVertex().putProperty(\"returnPort\", forsyde.io.lib.hierarchy.implementation.code.HasANSICImplementations.super.returnPort())"},"defaultValue":null,"propertyType":{"category":"StringPropertyType","keyType":null,"valueType":null}},"inlinedCodes":{"name":"inlinedCodes","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"StringPropertyType","keyType":null,"valueType":null}}},"inputArgumentPorts":{"name":"inputArgumentPorts","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"inputArgumentPorts\")) getViewedVertex().putProperty(\"inputArgumentPorts\", forsyde.io.lib.hierarchy.implementation.code.HasANSICImplementations.super.inputArgumentPorts())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.code.HasANSICImplementations","simpleName":"HasANSICImplementations"},"forsyde::io::lib::hierarchy::constraints::UtilizationBound":{"canonicalName":"forsyde::io::lib::hierarchy::constraints::UtilizationBound","htmlDescription":" This trait describe an utilization constraint for a GenericProcessingModule,\n where the sum of all things using it, including any runtime, must not exceed a certain\n percentage.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::GenericProcessingModule"],"requiredPorts":{},"requiredProperties":{"maxUtilization":{"name":"maxUtilization","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"maxUtilization\")) getViewedVertex().putProperty(\"maxUtilization\", forsyde.io.lib.hierarchy.constraints.UtilizationBound.super.maxUtilization())"},"defaultValue":null,"propertyType":{"category":"RealPropertyType","bits":64,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.constraints.UtilizationBound","simpleName":"UtilizationBound"},"forsyde::io::lib::hierarchy::platform::hardware::LogicProgrammableModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::LogicProgrammableModule","htmlDescription":" A LogicProgrammableAreaModule represents any digital hardware module capable of doing \"compute\".\n Typical real things fitting to this trait abstraction are CPU Cores, GPUs and ASICs.\n If the element can be abstracted into a black-box that \"runs computation\", this trait captures it.\n\n This trait can also be used to represent compound processing elements, like multi-core CPUs _without_ their memories.\n But beware: analysis and synthesis algorithms might expect these elements to always be \"single-core-like\",\n so it is always good to be in sync with the assumptions of the tool using this trait.\n\n This black-boxed level of _true_ parallelism is captured through the property `maximumComputationParallelism`,\n which is 1 by default.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::DigitalModule"],"requiredPorts":{},"requiredProperties":{"blockRamSizeInBits":{"name":"blockRamSizeInBits","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}},"availableLogicArea":{"name":"availableLogicArea","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.LogicProgrammableModule","simpleName":"LogicProgrammableModule"},"forsyde::io::lib::hierarchy::behavior::parallel::InterleaveV":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::parallel::InterleaveV","htmlDescription":" This parallel skeleton describes the creation of overlapping areas from a Vectorizable.\n As an example, consider the vector of integers [1, 4, 2];\n An interleaving skeleton with stride of 1 and radius of 2 would generator the vector of vector [[1, 4], [4, 2]].\n An interleaving skeleton with stride of 2 and radius of 2 would generator the vector of vector [[1, 4], [2]].\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::parallel::ParallelSkeleton"],"requiredPorts":{"inputArray":{"name":"inputArray","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::parallel::Vectorizable","edgeTrait":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelComputationEdge","multiple":false,"optional":true,"outgoing":false,"incoming":true},"outputArrayOfArray":{"name":"outputArrayOfArray","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::parallel::Vectorizable","edgeTrait":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelComputationEdge","multiple":false,"optional":true,"outgoing":true,"incoming":false}},"requiredProperties":{"stride":{"name":"stride","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"stride\")) getViewedVertex().putProperty(\"stride\", forsyde.io.lib.hierarchy.behavior.parallel.InterleaveV.super.stride())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}},"radius":{"name":"radius","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.parallel.InterleaveV","simpleName":"InterleaveV"},"forsyde::io::lib::hierarchy::decision::sdf::AnalyzedActor":{"canonicalName":"forsyde::io::lib::hierarchy::decision::sdf::AnalyzedActor","htmlDescription":" This enables the \"annotation\" of analyzed SDF actors with throughput results\n from mapping and scheduling techniques.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFActor"],"requiredPorts":{},"requiredProperties":{"setThroughputInSecsDenominator":{"name":"setThroughputInSecsDenominator","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"setThroughputInSecsNumerator":{"name":"setThroughputInSecsNumerator","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.decision.sdf.AnalyzedActor","simpleName":"AnalyzedActor"},"forsyde::io::lib::hierarchy::decision::ConcurrentSlotsReserved":{"canonicalName":"forsyde::io::lib::hierarchy::decision::ConcurrentSlotsReserved","htmlDescription":" This trait is intended to describe communication reservation for communication modules\n that allow slot reservations. A key example would be a TDM bus, where any data incoming from the\n same processing element can share the same TDM slot.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::GenericCommunicationModule"],"requiredPorts":{},"requiredProperties":{"slotReservations":{"name":"slotReservations","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.decision.ConcurrentSlotsReserved","simpleName":"ConcurrentSlotsReserved"},"forsyde::io::lib::hierarchy::behavior::execution::CommunicatingTask":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::CommunicatingTask","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Task"],"requiredPorts":{},"requiredProperties":{"portDataReadSize":{"name":"portDataReadSize","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"portDataWrittenSize":{"name":"portDataWrittenSize","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.CommunicatingTask","simpleName":"CommunicatingTask"},"forsyde::io::lib::hierarchy::platform::hardware::HardwareModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::HardwareModule","htmlDescription":" This trait represents any hardware element in the platform.\n It does not distinguish between analog or digital.\n The main purpose of this trait is to have a common \"parent\" trait\n for all traits relevant to the hardware parts of a platform.\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.HardwareModule","simpleName":"HardwareModule"},"forsyde::io::lib::hierarchy::implementation::functional::RegisterArrayLike":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::RegisterArrayLike","htmlDescription":" This trait refines \"RegisterLike\" by ensuring that the register-like component now holds\n chunkable data. In software this could mean that we have a random-access array where its entries\n can be read and overwritten at will; in hardware this could mean a literal array of registers that can\n be read and written at will. Be sure to also read the \"RegisterLike\" documentation to understand what this\n is refining.\n\n","refinedTraits":["forsyde::io::lib::hierarchy::implementation::functional::RegisterLike"],"requiredPorts":{},"requiredProperties":{"elementSizeInBits":{"name":"elementSizeInBits","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.RegisterArrayLike","simpleName":"RegisterArrayLike"},"forsyde::io::lib::hierarchy::behavior::moc::sy::SYSignal":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYSignal","htmlDescription":" An SY signal expresses a link between different SY processes in a SY network.\n To ensure that the SY model is well-defined, all signals can only have one producer,\n and multiple producers. This means that the consumers get a copy of whatever data is produced\n onto this signal at every discrete step.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::MoCEntity"],"requiredPorts":{"dataType":{"name":"dataType","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::DataTypeLike","edgeTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge","multiple":false,"optional":true,"outgoing":true,"incoming":false},"producer":{"name":"producer","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYProcess","edgeTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYNetworkEdge","multiple":false,"optional":true,"outgoing":false,"incoming":true},"consumers":{"name":"consumers","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYProcess","edgeTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYNetworkEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sy.SYSignal","simpleName":"SYSignal"},"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedHardwareBehaviour":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedHardwareBehaviour","htmlDescription":" This class adds instrumentation data to any behaviour-like vertex.\n This trait is made separate from other behaviour-like traits, e.g. synchronous processes,\n so that the instrumentation information can be used in a courser-grain fashion whenever\n necessary. Say, in academic studies or pre-design studies.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::BehaviourEntity"],"requiredPorts":{},"requiredProperties":{"resourceRequirements":{"name":"resourceRequirements","htmlDescription":" <p>\n A map of resource requirements for different implementations of this instrumented behavior.\n These are <b>resource requirements</b> or <b>allocation requirements</b>.\n When a number of a certain operation is \"x\" larger, it means semantically that a host element\n must give \"x\" more resources to implement this behaviour.\n </p>\n\n <p>\n For example, there could be a \"FPGA\" implementation and a \"SiLago\" implementation\n so that the requirements can be expressed\n as an associative array with these two possibilties as follow.\n </p>\n\n <pre>\n resourceRequirements: {\n     \"FPGA\": {\n         \"LUTS\": 10,\n         \"gates\" 100,\n         ...\n     },\n     \"SiLago\": {\n         \"FFTFIMP\": 1,\n         ...\n     }\n }\n </pre>\n\n <p>\n     The names of the each implementation should match the ones of \"latencyInSecs\" and \"energyPerExecutionInJoules\".\n </p>\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}}},"latencyInSecsDenominators":{"name":"latencyInSecsDenominators","htmlDescription":" <p>\n A map of lantencies for different implementations of this instrumented behavior.\n This also captures the equivalent of \"execution time\" from a pure hardware perspective.\n Take a look at \"latencyInSecsNumerators\" for the documentation of this property.\n </p>\n\n @see #latencyInSecsNumerators\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"latencyInSecsNumerators":{"name":"latencyInSecsNumerators","htmlDescription":" <p>\n A map of lantencies for different implementations of this instrumented behavior.\n This also captures the equivalent of \"execution time\" from a pure hardware perspective.\n </p>\n\n <p>\n For example, an \"FPGA\" implementation could have 12 ps of latency, which is then encoded\n </p>\n\n <pre>\n latencyInSecsNumerators: {\n     \"FPGA\": 12,\n     ...\n },\n latencyInSecsDenominators: {\n     \"FPGA\": 1000000000000\n }\n </pre>\n\n <p>\n     The names of the each implementation should match the ones of \"resourceRequirements\" and \"energyPerExecutionInJoules\".\n </p>\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"energyPerExecutionInJoules":{"name":"energyPerExecutionInJoules","htmlDescription":" This property captures the amount of energy spent in one iteration of this behaviour.\n That is, the amount of energy in Joules spent in producing any output, given any input.\n In software terms, this captures the energy consumed by the hardware-implemented function\n from its start to finish.\n <p>\n     The names of the each implementation should match the ones of \"resourceRequirements\" and \"latencyInSecs\".\n </p>\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"RealPropertyType","bits":64,"keyType":null,"valueType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.InstrumentedHardwareBehaviour","simpleName":"InstrumentedHardwareBehaviour"},"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedDataType":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedDataType","htmlDescription":" This class adds instrumentation data to any data-like vertex.\n This trait is made separate from other data-like traits, e.g. vectorizable,\n so that the instrumentation information can be used in a courser-grain fashion whenever\n necessary. Say, in academic studies or pre-design studies.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{},"requiredProperties":{"maxSizeInBits":{"name":"maxSizeInBits","htmlDescription":" <p>\n A map of memory requirements for different implementations of this instrumented data type for different instruction categories.\n These are <b>memory requirements</b>.\n When a number of a certain operation is \"x\" larger, it means semantically that a host storage element\n must give \"x\" more space to this data type so that it can be stored.\n This is the data-type analogous of <code>maxSizeInBits</code> for <code>InstrumentedBehaviour</code>.\n </p>\n\n <p>\n For example, there could be a \"RISCV\" data type, a \"niosII\" data type and a\n \"FPGA logic area implementation\" data type so that the computational requirements can be expressed\n as an associative array with these three possibilities as follow.\n </p>\n\n <pre>\n maxSizeInBits: {\n     \"RISCV\": 1000L,\n     \"niosII\": 500L,\n     \"FPGA logic area implementation\": 200L\n }\n </pre>\n In this case, the FPGA implementation tries to capture the logic area consumed by the synthesized behaviour.\n\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.InstrumentedDataType","simpleName":"InstrumentedDataType"},"forsyde::io::lib::hierarchy::behavior::data::StringLike":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::data::StringLike","htmlDescription":" This trait captures datum like strings.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{},"requiredProperties":{"maximumLength":{"name":"maximumLength","htmlDescription":" If larger than 0, it signals the maximum length of characters in this string.\n This can be larger than the number of bytes and bits necessary depending on the encoding.\n","initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"maximumLength\")) getViewedVertex().putProperty(\"maximumLength\", forsyde.io.lib.hierarchy.behavior.data.StringLike.super.maximumLength())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}},"encoding":{"name":"encoding","htmlDescription":" A property that describes the encoding that this String like data type.\n Likely entries here are \"UTF8\", \"UTF16\" etc. The default is \"UTF8\".\n","initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"encoding\")) getViewedVertex().putProperty(\"encoding\", forsyde.io.lib.hierarchy.behavior.data.StringLike.super.encoding())"},"defaultValue":null,"propertyType":{"category":"StringPropertyType","keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.data.StringLike","simpleName":"StringLike"},"forsyde::io::lib::hierarchy::decision::MemoryMapped":{"canonicalName":"forsyde::io::lib::hierarchy::decision::MemoryMapped","htmlDescription":" A MemoryMapped trait describes the mapping of any kind of a process or buffer/channel to a memory.\n This is intended to be used as the result of scheduling and mapping techniques,\n by \"annotating\" the memory mapped process.\n","refinedTraits":[],"requiredPorts":{"mappingHost":{"name":"mappingHost","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::platform::hardware::GenericMemoryModule","edgeTrait":null,"multiple":false,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.decision.MemoryMapped","simpleName":"MemoryMapped"},"forsyde::io::lib::hierarchy::implementation::functional::RegisterLike":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::RegisterLike","htmlDescription":" A RegisterLike element is one that holds a piece of data until it is overwritten.\n That is, this represents a register in hardware or a memory location/variable in software.\n Keep in mind that this trait assumes that all reads and writes to the register-like element\n are done as a single element. For example, if this represents a NxM matrix, reading and writing\n to this register-like element entails reading or writing _the entire matrix_.\n\n For a more array-like behavior, check the \"RegisterArrayLike\" trait.\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{"sizeInBits":{"name":"sizeInBits","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.RegisterLike","simpleName":"RegisterLike"},"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFActor":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFActor","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::MoCEntity"],"requiredPorts":{"combFunctions":{"name":"combFunctions","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::FunctionLikeEntity","edgeTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{"production":{"name":"production","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"consumption":{"name":"consumption","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sdf.SDFActor","simpleName":"SDFActor"},"forsyde::io::lib::hierarchy::behavior::DataTypeLike":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::DataTypeLike","htmlDescription":" This trait is categorical and simply implies that the vertex is likely representative\n of a data type, whether an array, a record, a composition of both etc.\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.DataTypeLike","simpleName":"DataTypeLike"},"forsyde::io::lib::hierarchy::behavior::parallel::Vectorizable":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::parallel::Vectorizable","htmlDescription":" A Vectorizable represents an array of vector of certain data.\n Sometimes we might find in the literature (or functional programming languages) a vector\n of functions or routines.\n This is not what this trait is about.\n This trait is concerned only with encapsulating parallelizable data; whatever they might be.\n The underlying model with system graphs should already be enough to have many parallel processes\n side-by-side without expressing them as a parametrizable range.\n\n If you DO NEED such parametrization, create a script in your favorite support library that will\n generate the appropriate number of parallel processes.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{"producer":{"name":"producer","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelSkeleton","edgeTrait":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelComputationEdge","multiple":false,"optional":false,"outgoing":false,"incoming":true},"arrayItemType":{"name":"arrayItemType","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::DataTypeLike","edgeTrait":"forsyde::io::lib::hierarchy::behavior::DataLikeCompositionEdge","multiple":false,"optional":true,"outgoing":true,"incoming":false},"consumers":{"name":"consumers","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelSkeleton","edgeTrait":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelComputationEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{"dimensions":{"name":"dimensions","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"dimensions\")) getViewedVertex().putProperty(\"dimensions\", forsyde.io.lib.hierarchy.behavior.parallel.Vectorizable.super.dimensions())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.parallel.Vectorizable","simpleName":"Vectorizable"},"forsyde::io::lib::hierarchy::platform::hardware::DigitalModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::DigitalModule","htmlDescription":" This trait represents a digital hardware element in the platform.\n As such, it requires the presence of an operating frequency property.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::HardwareModule"],"requiredPorts":{},"requiredProperties":{"operatingFrequencyInHertz":{"name":"operatingFrequencyInHertz","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"operatingFrequencyInHertz\")) getViewedVertex().putProperty(\"operatingFrequencyInHertz\", forsyde.io.lib.hierarchy.platform.hardware.DigitalModule.super.operatingFrequencyInHertz())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.DigitalModule","simpleName":"DigitalModule"},"forsyde::io::lib::hierarchy::decision::LogicProgrammableAreaMapped":{"canonicalName":"forsyde::io::lib::hierarchy::decision::LogicProgrammableAreaMapped","htmlDescription":" This trait captures elments that are to be synthetized in a programmable logic area, e.g. an FPGA.\n","refinedTraits":[],"requiredPorts":{"hostLogicProgrammableArea":{"name":"hostLogicProgrammableArea","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::platform::hardware::LogicProgrammableModule","edgeTrait":null,"multiple":false,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.decision.LogicProgrammableAreaMapped","simpleName":"LogicProgrammableAreaMapped"},"forsyde::io::lib::hierarchy::platform::runtime::TimeDivisionMultiplexingRuntime":{"canonicalName":"forsyde::io::lib::hierarchy::platform::runtime::TimeDivisionMultiplexingRuntime","htmlDescription":" A TimeDivisionMultiplexingRuntime is capable of giving \"slices\" of time to the processes running on it.\n The size of this slices are constant and are assumed to be contained within a certain range.\n Moreover, all such runtimes also have a maximum \"frame\" in which it can schedule time slices for its processes.\n\n A frame size of 0 and a maximum time slice of 0 indicate that both are unbounded.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::runtime::AbstractRuntime"],"requiredPorts":{},"requiredProperties":{"frameSizeInClockCycles":{"name":"frameSizeInClockCycles","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"frameSizeInClockCycles\")) getViewedVertex().putProperty(\"frameSizeInClockCycles\", forsyde.io.lib.hierarchy.platform.runtime.TimeDivisionMultiplexingRuntime.super.frameSizeInClockCycles())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"maximumTimeSliceInClockCycles":{"name":"maximumTimeSliceInClockCycles","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"maximumTimeSliceInClockCycles\")) getViewedVertex().putProperty(\"maximumTimeSliceInClockCycles\", forsyde.io.lib.hierarchy.platform.runtime.TimeDivisionMultiplexingRuntime.super.maximumTimeSliceInClockCycles())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"timeSliceProcess":{"name":"timeSliceProcess","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"timeSliceProcess\")) getViewedVertex().putProperty(\"timeSliceProcess\", forsyde.io.lib.hierarchy.platform.runtime.TimeDivisionMultiplexingRuntime.super.timeSliceProcess())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}},"timeSlicesSizesInClockCycles":{"name":"timeSlicesSizesInClockCycles","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"timeSlicesSizesInClockCycles\")) getViewedVertex().putProperty(\"timeSlicesSizesInClockCycles\", forsyde.io.lib.hierarchy.platform.runtime.TimeDivisionMultiplexingRuntime.super.timeSlicesSizesInClockCycles())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null},"keyType":null}},"minimumTimeSliceInClockCycles":{"name":"minimumTimeSliceInClockCycles","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"minimumTimeSliceInClockCycles\")) getViewedVertex().putProperty(\"minimumTimeSliceInClockCycles\", forsyde.io.lib.hierarchy.platform.runtime.TimeDivisionMultiplexingRuntime.super.minimumTimeSliceInClockCycles())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.runtime.TimeDivisionMultiplexingRuntime","simpleName":"TimeDivisionMultiplexingRuntime"},"forsyde::io::lib::hierarchy::behavior::parallel::ReduceV":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::parallel::ReduceV","htmlDescription":" A ReduceV skeleton specifies that the output vector can be generated by aggregating\n the first dimension of the input vector. Therefore, this skeleton is not really parallel,\n unless the aggregation function is known to be associative.\n\n Like this: let v = [v[1], v[2], v[3], ..., v[n]] be the input vector and o be one \"scalar\";\n then a ReduceV with kernels f1, f2, ..., fm guarantess that:\n\n f = (fm ... f3 . f2 . f1)\n o = f(v[n], f(v[n-1], ...f(v[2], v[1])...))\n\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::parallel::ParallelSkeleton"],"requiredPorts":{"kernels":{"name":"kernels","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::FunctionLikeEntity","edgeTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{"inputArray":{"name":"inputArray","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"StringPropertyType","keyType":null,"valueType":null}},"outputScalar":{"name":"outputScalar","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"StringPropertyType","keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.parallel.ReduceV","simpleName":"ReduceV"},"forsyde::io::lib::hierarchy::decision::Scheduled":{"canonicalName":"forsyde::io::lib::hierarchy::decision::Scheduled","htmlDescription":" A Scheduled trait describes the scheduling of any kind of a process by a scheduler.\n This is intended to be used as the result of scheduling and mapping techniques,\n by \"annotating\" the scheduled process.\n","refinedTraits":[],"requiredPorts":{"runtimeHost":{"name":"runtimeHost","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::platform::runtime::AbstractRuntime","edgeTrait":null,"multiple":false,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.decision.Scheduled","simpleName":"Scheduled"},"forsyde::io::lib::hierarchy::behavior::BehaviourEntity":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::BehaviourEntity","htmlDescription":null,"refinedTraits":[],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.BehaviourEntity","simpleName":"BehaviourEntity"},"forsyde::io::lib::hierarchy::implementation::functional::BufferLike":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::BufferLike","htmlDescription":" A BufferLike element is one that is capable of queuing an unbounded amount of data.\n This then represents a queue of \"dynamic\" size.\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{"elementSizeInBits":{"name":"elementSizeInBits","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.BufferLike","simpleName":"BufferLike"},"forsyde::io::lib::hierarchy::behavior::moc::MoCSource":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::MoCSource","htmlDescription":" A boundary signal between a MoC process network and anything outside this network.\n\n <p>\n     All MoCs can use this source trait since all MoCs can be compared in the light of a discrete-event model,\n     or, the tagged-signal model (see the reference of <code>MoCEntity</code>).\n     The key element of this trait is the timing beahviour of the events it generates.\n     That is, their periodicity or lack of any periodicity thereof.\n     Note that a MoCSource is a data-type-like entity, as it is intended to capture MoC signals that get\n     \"replenished\" due to their connection with the outside world.\n </p>\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::MoCEntity","forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{},"requiredProperties":{"eventProductionRateNumerator":{"name":"eventProductionRateNumerator","htmlDescription":" The numerator part of the \"eventProductionRate\" property.\n\n <p>\n     The event inter-arrival rate defines how fast this MoC source gets replenished in the light of\n     tagged-signal model, or the discrete-event model, equivalently.\n     The faster the rate, the faster the data present in this boundary signal is \"fresh\".\n     This notion can differ along different MoCs.\n     For example, in the Synchronous MoC, this means that a new data is available in the signal (<code>SYSignal</code>) and\n     <b>should be consumed at all costs</b>. In the SDF MoC, this means that a new token is available\n     in the signal and can be consumed anytime as long as the buffer implementing this boundary signal (<code>SDFChannel</code>) does\n     not overflow.\n </p>\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"eventProductionRateDenominator":{"name":"eventProductionRateDenominator","htmlDescription":" The denominator part of the \"eventProductionRate\" property. Defaults to 1.\n <p>\n     see <code>eventProductionRateNumerator</code> for the full information on this property.\n </p>\n\n","initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"eventProductionRateDenominator\")) getViewedVertex().putProperty(\"eventProductionRateDenominator\", forsyde.io.lib.hierarchy.behavior.moc.MoCSource.super.eventProductionRateDenominator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.MoCSource","simpleName":"MoCSource"},"forsyde::io::lib::hierarchy::behavior::execution::ContinousStimulator":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::ContinousStimulator","htmlDescription":" Once this trait is connected to a stimulatable element,\n this element becomes perpetually read to be executed after \"initialLatency\" seconds.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Stimulator"],"requiredPorts":{},"requiredProperties":{"initialLatencyNumerator":{"name":"initialLatencyNumerator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"initialLatencyNumerator\")) getViewedVertex().putProperty(\"initialLatencyNumerator\", forsyde.io.lib.hierarchy.behavior.execution.ContinousStimulator.super.initialLatencyNumerator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"initialLatencyDenominator":{"name":"initialLatencyDenominator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"initialLatencyDenominator\")) getViewedVertex().putProperty(\"initialLatencyDenominator\", forsyde.io.lib.hierarchy.behavior.execution.ContinousStimulator.super.initialLatencyDenominator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.ContinousStimulator","simpleName":"ContinousStimulator"},"forsyde::io::lib::hierarchy::platform::hardware::GenericProcessingModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::GenericProcessingModule","htmlDescription":" A GenericProcessingModule represents any digital hardware module capable of doing \"compute\".\n Typical real things fitting to this trait abstraction are CPU Cores, GPUs and ASICs.\n If the element can be abstracted into a black-box that \"runs computation\", this trait captures it.\n\n This trait can also be used to represent compound processing elements, like multi-core CPUs _without_ their memories.\n But beware: analysis and synthesis algorithms might expect these elements to always be \"single-core-like\",\n so it is always good to be in sync with the assumptions of the tool using this trait.\n\n This black-boxed level of _true_ parallelism is captured through the property `maximumComputationParallelism`,\n which is 1 by default.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::DigitalModule"],"requiredPorts":{},"requiredProperties":{"maximumComputationParallelism":{"name":"maximumComputationParallelism","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"maximumComputationParallelism\")) getViewedVertex().putProperty(\"maximumComputationParallelism\", forsyde.io.lib.hierarchy.platform.hardware.GenericProcessingModule.super.maximumComputationParallelism())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.GenericProcessingModule","simpleName":"GenericProcessingModule"},"forsyde::io::lib::hierarchy::behavior::parallel::ParallelSkeleton":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelSkeleton","htmlDescription":" An algorithmic parallel skeleton is a specification that explicitly\n enables a computation to be done in parallel. That is, if a computation is a\n certain parallel skeleton, we know that it can be implemented with the parallelization\n of that skeleton. For example, for the MapV skeleton, we know that all the entries of the\n output vector can be computed independently from each entry in the input vector,\n inpendently if the implementation is made in sequential software, parallel software or even hardware.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::FunctionLikeEntity"],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.parallel.ParallelSkeleton","simpleName":"ParallelSkeleton"},"forsyde::io::lib::hierarchy::behavior::execution::PeriodicStimulator":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::PeriodicStimulator","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Stimulator"],"requiredPorts":{},"requiredProperties":{"offsetDenominator":{"name":"offsetDenominator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"offsetDenominator\")) getViewedVertex().putProperty(\"offsetDenominator\", forsyde.io.lib.hierarchy.behavior.execution.PeriodicStimulator.super.offsetDenominator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"periodDenominator":{"name":"periodDenominator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"periodDenominator\")) getViewedVertex().putProperty(\"periodDenominator\", forsyde.io.lib.hierarchy.behavior.execution.PeriodicStimulator.super.periodDenominator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"offsetNumerator":{"name":"offsetNumerator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"offsetNumerator\")) getViewedVertex().putProperty(\"offsetNumerator\", forsyde.io.lib.hierarchy.behavior.execution.PeriodicStimulator.super.offsetNumerator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"periodNumerator":{"name":"periodNumerator","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.PeriodicStimulator","simpleName":"PeriodicStimulator"},"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedSoftwareBehaviour":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedSoftwareBehaviour","htmlDescription":" This class adds instrumentation data to any behaviour-like vertex.\n This trait is made separate from other behaviour-like traits, e.g. synchronous processes,\n so that the instrumentation information can be used in a courser-grain fashion whenever\n necessary. Say, in academic studies or pre-design studies.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::BehaviourEntity"],"requiredPorts":{},"requiredProperties":{"computationalRequirements":{"name":"computationalRequirements","htmlDescription":" <p>\n A map of computational requirements for different implementations of this instrumented behavior.\n These are <b>performance requirements</b>.\n When a number of a certain operation is \"x\" larger, it means semantically that a host processing element\n must give \"x\" more operations to this behaviour so that it completes.\n </p>\n\n <p>\n For example, there could be a \"ANSI-C\" implementation and a \"CUDA\" implementation\n so that the requirements can be expressed\n as an associative array with these two possibilties as follow.\n </p>\n\n <pre>\n computationalRequirements: {\n     \"ANSI-C\": {\n         \"intadd\": 4,\n         \"floatadd\": 10,\n         \"branch\": 200,\n         ...\n     },\n     \"CUDA\": {\n         \"kerneladd\": 5,\n         ...\n     }\n }\n </pre>\n\n The names of the each implementation should match the ones of \"maxSizeInBits\".\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}}},"maxSizeInBits":{"name":"maxSizeInBits","htmlDescription":" <p>\n A map of memory requirements for different implementations of this instrumented behavior for different instruction categories.\n These are <b>memory requirements</b>.\n When a number of a certain operation is \"x\" larger, it means semantically that a host storage element\n must give \"x\" more space to this behaviour so that it can be stored.\n the memory of a behaviour semantically include both its \"execution size\" (instruction size in languages like C)\n and \"internal state\" (internal variables in languages like C).\n </p>\n\n <p>\n For example, there could be a \"RISCV\" implementation and a \"niosII\" implementation\n so that the computational requirements can be expressed\n as an associative array with these three possibilities as follow.\n </p>\n\n <pre>\n maxSizeInBits: {\n     \"RISCV\": 1000L,\n     \"niosII\": 500L,\n }\n </pre>\n\n The names of the each implementation should match the ones of \"computationalRequirements\".\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.InstrumentedSoftwareBehaviour","simpleName":"InstrumentedSoftwareBehaviour"},"forsyde::io::lib::hierarchy::behavior::parallel::MapV":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::parallel::MapV","htmlDescription":" A MapV skeleton specifies that all the entries of the output vector can be computed\n independently from each other, using each of the input vector entries.\n\n Like this: let v = [v[1], v[2], v[3], ..., v[n]] be the input vector and o be an equivalent output vector;\n then a MapV with kernels f1, f2, ..., fm guarantess that:\n\n o[i] = fm(...f3(f2(f1(v[i])))...)\n\n or,\n\n o[i] = (fm ... f3 . f2 . f1) (v[i])\n\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::parallel::ParallelSkeleton"],"requiredPorts":{"kernels":{"name":"kernels","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::FunctionLikeEntity","edgeTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{"outputPorts":{"name":"outputPorts","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}},"inputPorts":{"name":"inputPorts","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.parallel.MapV","simpleName":"MapV"},"forsyde::io::lib::hierarchy::behavior::execution::Task":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::Task","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Stimulatable","forsyde::io::lib::hierarchy::behavior::execution::Stimulator"],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.Task","simpleName":"Task"},"forsyde::io::lib::hierarchy::behavior::moc::sy::SYDelay":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYDelay","htmlDescription":" An SY Delay is an SY process creates a signal with one discrete step phaing.\n Or better saying, for every discrete step, the created signal by SY Delay outputs the value of its inputs\n signal from the previous discrete step.\n\n In equational form, consider that we have a SYDelay F connecting `input` to `output`.\n The output at synchronous every step k is:\n\n output(k) = input(k-1)\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::sy::SYProcess"],"requiredPorts":{"input":{"name":"input","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYSignal","edgeTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYNetworkEdge","multiple":false,"optional":false,"outgoing":false,"incoming":true},"delayed":{"name":"delayed","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYSignal","edgeTrait":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYNetworkEdge","multiple":false,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sy.SYDelay","simpleName":"SYDelay"},"forsyde::io::lib::hierarchy::behavior::moc::sy::SYMap":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYMap","htmlDescription":" An SY Combinator is an SY process that transforms an input signals into output signals.\n Or better saying, for every discrete step, the SY Comb uses its defining functions to produce\n output values from the input values in each step.\n\n In equational form, consider that we have a SYComb F with combinators f1, f2, f3, ..., fn\n The output at synchronous every step k is:\n\n output(k) = fn(...f3(f2(f1(input(k)))...)\n\n or,\n\n output(k) = fn . . . . . f3 . f2 . f1 (input(k))\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::sy::SYProcess"],"requiredPorts":{"combFunctions":{"name":"combFunctions","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::FunctionLikeEntity","edgeTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sy.SYMap","simpleName":"SYMap"},"forsyde::io::lib::hierarchy::behavior::DataValueLike":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::DataValueLike","htmlDescription":" This trait is categorical and simply implies that the vertex is likely representative\n of a data value, whether an array, a record, a composition of both etc.\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.DataValueLike","simpleName":"DataValueLike"},"forsyde::io::lib::hierarchy::platform::hardware::CommunicationModulePortSpecification":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::CommunicationModulePortSpecification","htmlDescription":" A CommunicationModulePortSpecification enriches `GenericCommunicationModule` with how ports of\n the viewed `Vertex` are connected. This trait allows can therefore be used to model the\n communication ports of a `CommunicationModule` in a more detailed way. In realistic scenarios,\n a switch may not route all of its ports to the the other ports in the switch. Take for example a\n memory switch, which has a link to the physical memory and multiple links that are in place\n for access to the memory via the memory switch. Specifying that the external links can route\n internally in the switch to the memory port is a good example of how this trait can be used\n and thus also imply that the memory switch does not allow communication between these\n external links.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::GenericCommunicationModule"],"requiredPorts":{},"requiredProperties":{"portConnections":{"name":"portConnections","htmlDescription":" <p>\n A map of port connections.\n </p>\n Example:\n Having a memory switch with ports ('a', 'b', 'c') where 'a' and 'b'\n are ports for external connections and 'c' connects to the physical memory.\n The map representing this connectivity would look be:\n <pre>{@code\n portConnections: {\n   \"a\": [\"c\"],\n   \"b\": [\"c\"]\n }\n }</pre>\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.CommunicationModulePortSpecification","simpleName":"CommunicationModulePortSpecification"},"forsyde::io::lib::hierarchy::behavior::data::IEEE754Binary64FloatingPoint":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::data::IEEE754Binary64FloatingPoint","htmlDescription":" This trait captures a 32 bit IEEE 754 floating point number.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::data::RealLike"],"requiredPorts":{},"requiredProperties":{"numberOfBits":{"name":"numberOfBits","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"numberOfBits\")) getViewedVertex().putProperty(\"numberOfBits\", forsyde.io.lib.hierarchy.behavior.data.IEEE754Binary64FloatingPoint.super.numberOfBits())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.data.IEEE754Binary64FloatingPoint","simpleName":"IEEE754Binary64FloatingPoint"},"forsyde::io::lib::hierarchy::platform::hardware::GenericCommunicationModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::GenericCommunicationModule","htmlDescription":" A GenericCommunicationModule represents any digital hardware module capable of doing \"communication\".\n Typical real things fitting to this trait abstraction are buses, crossbar switches, routers.\n If the element can be abstracted into a black-box that \"transmits data\", this trait captures it.\n\n Currently, this trait does not tell anything about the arbitration that the communication element performs.\n If no information is avaiable to specialize the arbitration scheme used at a hardware level, any tool working\n with this trait can assume that a fair round-robin is used.\n\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::DigitalModule"],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.GenericCommunicationModule","simpleName":"GenericCommunicationModule"},"forsyde::io::lib::hierarchy::behavior::execution::Downsample":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::Downsample","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Stimulatable","forsyde::io::lib::hierarchy::behavior::execution::Stimulator"],"requiredPorts":{},"requiredProperties":{"repetitivePredecessorSkips":{"name":"repetitivePredecessorSkips","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"repetitivePredecessorSkips\")) getViewedVertex().putProperty(\"repetitivePredecessorSkips\", forsyde.io.lib.hierarchy.behavior.execution.Downsample.super.repetitivePredecessorSkips())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"initialPredecessorSkips":{"name":"initialPredecessorSkips","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"initialPredecessorSkips\")) getViewedVertex().putProperty(\"initialPredecessorSkips\", forsyde.io.lib.hierarchy.behavior.execution.Downsample.super.initialPredecessorSkips())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.Downsample","simpleName":"Downsample"},"forsyde::io::lib::hierarchy::implementation::synthetizable::PeriodicTask":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::synthetizable::PeriodicTask","htmlDescription":" This simple refinement stores the amount of simply periodic\n subtasks that a task can generate given its incoming stimulators.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Task"],"requiredPorts":{"incomingStimulators":{"name":"incomingStimulators","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::execution::PeriodicStimulator","edgeTrait":null,"multiple":true,"optional":false,"outgoing":false,"incoming":true}},"requiredProperties":{"offsetNumerators":{"name":"offsetNumerators","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"offsetNumerators\")) getViewedVertex().putProperty(\"offsetNumerators\", forsyde.io.lib.hierarchy.implementation.synthetizable.PeriodicTask.super.offsetNumerators())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null},"keyType":null}},"offsetDenominators":{"name":"offsetDenominators","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"offsetDenominators\")) getViewedVertex().putProperty(\"offsetDenominators\", forsyde.io.lib.hierarchy.implementation.synthetizable.PeriodicTask.super.offsetDenominators())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null},"keyType":null}},"periodDenominators":{"name":"periodDenominators","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"periodDenominators\")) getViewedVertex().putProperty(\"periodDenominators\", forsyde.io.lib.hierarchy.implementation.synthetizable.PeriodicTask.super.periodDenominators())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null},"keyType":null}},"periodNumerators":{"name":"periodNumerators","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"periodNumerators\")) getViewedVertex().putProperty(\"periodNumerators\", forsyde.io.lib.hierarchy.implementation.synthetizable.PeriodicTask.super.periodNumerators())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.synthetizable.PeriodicTask","simpleName":"PeriodicTask"},"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedBehaviour":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::functional::InstrumentedBehaviour","htmlDescription":" This class adds instrumentation data to any behaviour-like vertex.\n This trait is made separate from other behaviour-like traits, e.g. synchronous processes,\n so that the instrumentation information can be used in a courser-grain fashion whenever\n necessary. Say, in academic studies or pre-design studies.\n\n @deprecated This interface trait has been renamed to \"InstrumentedSoftwareBehaviour\".\n Please update your code accordingly.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::BehaviourEntity"],"requiredPorts":{},"requiredProperties":{"computationalRequirements":{"name":"computationalRequirements","htmlDescription":" <p>\n A map of computational requirements for different implementations of this instrumented behavior.\n These are <b>performance requirements</b>.\n When a number of a certain operation is \"x\" larger, it means semantically that a host processing element\n must give \"x\" more operations to this behaviour so that it completes.\n </p>\n\n <p>\n For example, there could be a \"ANSI-C\" implementation and a \"CUDA\" implementation\n so that the requirements can be expressed\n as an associative array with these two possibilties as follow.\n </p>\n\n <pre>\n computationalRequirements: {\n     \"ANSI-C\": {\n         \"intadd\": 4,\n         \"floatadd\": 10,\n         \"branch\": 200,\n         ...\n     },\n     \"CUDA\": {\n         \"kerneladd\": 5,\n         ...\n     }\n }\n </pre>\n\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}}},"maxSizeInBits":{"name":"maxSizeInBits","htmlDescription":" <p>\n A map of memory requirements for different implementations of this instrumented behavior for different instruction categories.\n These are <b>memory requirements</b>.\n When a number of a certain operation is \"x\" larger, it means semantically that a host storage element\n must give \"x\" more space to this behaviour so that it can be stored.\n the memory of a behaviour semantically include both its \"execution size\" (instruction size in languages like C)\n and \"internal state\" (internal variables in languages like C).\n </p>\n\n <p>\n For example, there could be a \"RISCV\" implementation, a \"niosII\" implementation and a\n \"FPGA logic area implementation\" so that the computational requirements can be expressed\n as an associative array with these three possibilities as follow.\n </p>\n\n <pre>\n maxSizeInBits: {\n     \"RISCV\": 1000L,\n     \"niosII\": 500L,\n     \"FPGA logic area implementation\": 200L\n }\n </pre>\n In this case, the FPGA implementation tries to capture the logic area consumed by the synthesized behaviour.\n\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.functional.InstrumentedBehaviour","simpleName":"InstrumentedBehaviour"},"forsyde::io::lib::hierarchy::platform::runtime::SuperLoopRuntime":{"canonicalName":"forsyde::io::lib::hierarchy::platform::runtime::SuperLoopRuntime","htmlDescription":" A super loop runtime captures the entry-point for programmable devices that have no runtime at all, i.e. almost or completely bare-metal.\n These runtimes will generally represent \"superloop\" approaches, where the processes being scheduled are inside\n a big while loop that runs forever, executing the processes unconditionally.\n This does not exclude the fact that a process might stall its processing element while waiting for data or any\n other activation condition.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::runtime::AbstractRuntime"],"requiredPorts":{},"requiredProperties":{"superLoopEntries":{"name":"superLoopEntries","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"superLoopEntries\")) getViewedVertex().putProperty(\"superLoopEntries\", forsyde.io.lib.hierarchy.platform.runtime.SuperLoopRuntime.super.superLoopEntries())"},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.runtime.SuperLoopRuntime","simpleName":"SuperLoopRuntime"},"forsyde::io::lib::hierarchy::behavior::execution::Stimulatable":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::Stimulatable","htmlDescription":null,"refinedTraits":[],"requiredPorts":{"activators":{"name":"activators","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::execution::Stimulator","edgeTrait":"forsyde::io::lib::hierarchy::behavior::execution::EventEdge","multiple":true,"optional":false,"outgoing":false,"incoming":true}},"requiredProperties":{"hasORSemantics":{"name":"hasORSemantics","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"hasORSemantics\")) getViewedVertex().putProperty(\"hasORSemantics\", forsyde.io.lib.hierarchy.behavior.execution.Stimulatable.super.hasORSemantics())"},"defaultValue":null,"propertyType":{"category":"BooleanPropertyType","keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.Stimulatable","simpleName":"Stimulatable"},"forsyde::io::lib::hierarchy::platform::hardware::Structure":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::Structure","htmlDescription":" A structure is simply a collection of platform elements without\n any specific meaning. It is helpful to create hierarchies in the platform\n for \"categorization\" but it does not imply any semantic hierarchy by itself.\n\n Structures have outgoing edges to its children, or contained, hardware modules.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::HardwareModule"],"requiredPorts":{"containedModules":{"name":"containedModules","htmlDescription":" Returns the contained modules for this Structure vertex.\n","vertexTrait":"forsyde::io::lib::hierarchy::platform::hardware::HardwareModule","edgeTrait":"forsyde::io::lib::hierarchy::platform::hardware::StructuralContainment","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.Structure","simpleName":"Structure"},"forsyde::io::lib::hierarchy::platform::hardware::InstrumentedCommunicationModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::InstrumentedCommunicationModule","htmlDescription":" A InstrumentedGenericCOmmunicationModule enriches `GenericCommunicationModule` with provision numbers so that\n an analysis and synthesis tool is able to estimate the total amount of traversal time is required to transmit\n a bunch of data through this communication element.\n\n You can assume that analysis and synthesis tools will compute the traversal time by:\n\n  traversalTime(dataSize) = initialLatency\n                  + ceil(dataSize / flitSizeInBits) * (maxCyclesPerFlit / maxConcurrentFlits) / elementFrequency\n\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::GenericCommunicationModule"],"requiredPorts":{},"requiredProperties":{"maxCyclesPerFlit":{"name":"maxCyclesPerFlit","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}},"flitSizeInBits":{"name":"flitSizeInBits","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"initialLatency":{"name":"initialLatency","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"maxConcurrentFlits":{"name":"maxConcurrentFlits","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.InstrumentedCommunicationModule","simpleName":"InstrumentedCommunicationModule"},"forsyde::io::lib::hierarchy::platform::hardware::GenericMemoryModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::GenericMemoryModule","htmlDescription":" A GenericMemoryModule represents any digital hardware module capable of \"storing data\".\n Typical real things fitting to this trait abstraction are on-chip memories, DRAMs, SDRAMs etc.\n If the element can be abstracted into a black-box that \"stores data\", this trait captures it.\n\n This trait _does not_ imply any arbitration scheme for parallel accesses to it.\n Therefore, if there are two elements connecting to this memory module, one should put the memory module\n behind a `GenericCommunicationModule` (or refined) module.\n For the sake of avoiding ambiguity, tools consuming this trait can raise an \"illegal\" status if there are\n multiple modules connecting to a memory module without going through a communication module first.\n\n If a `GenericMemoryModule` is connected directly to a `GenericProcessingModule` (or refined), it is implied\n that this memory element is tightly-coupled to the processing element.\n\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::DigitalModule"],"requiredPorts":{},"requiredProperties":{"spaceInBits":{"name":"spaceInBits","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.GenericMemoryModule","simpleName":"GenericMemoryModule"},"forsyde::io::lib::hierarchy::platform::runtime::AbstractRuntime":{"canonicalName":"forsyde::io::lib::hierarchy::platform::runtime::AbstractRuntime","htmlDescription":" An AbstractRuntime element can be anything that is acting as a \"middleware\" for the platform and therefore\n should be refined to be better useful.\n\n In any case, a runtime must have a \"host\" which executes its instructions and also processing elements\n which it manages, which means that they are part of the runtime's controlled processing elements.\n","refinedTraits":[],"requiredPorts":{"managed":{"name":"managed","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::platform::hardware::GenericProcessingModule","edgeTrait":null,"multiple":true,"optional":false,"outgoing":true,"incoming":false},"host":{"name":"host","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::platform::hardware::GenericProcessingModule","edgeTrait":null,"multiple":false,"optional":true,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.runtime.AbstractRuntime","simpleName":"AbstractRuntime"},"forsyde::io::lib::hierarchy::behavior::execution::LoopingTask":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::LoopingTask","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Task"],"requiredPorts":{"loopSequence":{"name":"loopSequence","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourEntity","edgeTrait":null,"multiple":true,"optional":false,"outgoing":true,"incoming":false},"initSequence":{"name":"initSequence","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::BehaviourEntity","edgeTrait":null,"multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.LoopingTask","simpleName":"LoopingTask"},"forsyde::io::lib::hierarchy::visualization::VisualizableWithProperties":{"canonicalName":"forsyde::io::lib::hierarchy::visualization::VisualizableWithProperties","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::visualization::Visualizable"],"requiredPorts":{},"requiredProperties":{"visualizedPropertiesNames":{"name":"visualizedPropertiesNames","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.visualization.VisualizableWithProperties","simpleName":"VisualizableWithProperties"},"forsyde::io::lib::hierarchy::behavior::basic::BasicOperation":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::basic::BasicOperation","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::BehaviourEntity"],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.basic.BasicOperation","simpleName":"BasicOperation"},"forsyde::io::lib::hierarchy::behavior::data::BooleanLike":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::data::BooleanLike","htmlDescription":" A trait that captures boolean datums.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.data.BooleanLike","simpleName":"BooleanLike"},"forsyde::io::lib::hierarchy::behavior::moc::MoCEntity":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::MoCEntity","htmlDescription":" The common parent of all MoC elements in a system graph.\n\n <p>\n A MoC in this hierarchy is understood as in the paper:\n</p>\n<p>\n   Lee, E.A., Sangiovanni-Vincentelli, A., 1998. A framework for comparing models of computation.\n   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17, 1217–1229.\n   <a href=\"https://doi.org/10.1109/43.736561\">DOI</a>\n </p>\n <p>\n     This trait does not enforce anything on its own, but serves as a \"categorical\"\n     trait which can be used to susbet any MoCs present in a system graph.\n     To get more information on a vertex and its MoC-like behaviour, one should\n     directly query for specific MoCs, e.g. SYProcess or SDFActor.\n </p>\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.MoCEntity","simpleName":"MoCEntity"},"forsyde::io::lib::hierarchy::behavior::data::RealLike":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::data::RealLike","htmlDescription":" This trait captures a real-like datum.\n By real-like, it means that it represents a real number, but the actual encoding is left open to\n be present in refinements of this trait.\n In other words, _do not assume_ that this trait implies that the vertex being viewed is a IEEE 754 floating point.\n Rather, look what refinements exist for this trait or create another to properly capture the desired real number\n encoding.\n\n The only property enforced in this trait is the total number of bits, which is universal across any real number\n encoding.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{},"requiredProperties":{"numberOfBits":{"name":"numberOfBits","htmlDescription":" The _total_ number of bits encoded in this representation.\n If a particular encoding separates bits in different categories, include all the categories.\n Using 32-bit IEEE 754 as an example, this number is 32, despite the sign bit, the 8 exponent and 23 fraction bits.\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.data.RealLike","simpleName":"RealLike"},"forsyde::io::lib::hierarchy::decision::AnalyzedBehavior":{"canonicalName":"forsyde::io::lib::hierarchy::decision::AnalyzedBehavior","htmlDescription":" This trait attaches analysis and optimisation data to a behavior entity.\n It contains information like the behaviour's throughput.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::BehaviourEntity"],"requiredPorts":{},"requiredProperties":{"throughputInSecsNumerator":{"name":"throughputInSecsNumerator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"throughputInSecsNumerator\")) getViewedVertex().putProperty(\"throughputInSecsNumerator\", forsyde.io.lib.hierarchy.decision.AnalyzedBehavior.super.throughputInSecsNumerator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"throughputInSecsDenominator":{"name":"throughputInSecsDenominator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"throughputInSecsDenominator\")) getViewedVertex().putProperty(\"throughputInSecsDenominator\", forsyde.io.lib.hierarchy.decision.AnalyzedBehavior.super.throughputInSecsDenominator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.decision.AnalyzedBehavior","simpleName":"AnalyzedBehavior"},"forsyde::io::lib::hierarchy::behavior::moc::MoCSink":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::MoCSink","htmlDescription":" A boundary signal between a MoC process network and anything outside this network.\n\n <p>\n     All MoCs can use this sink trait since all MoCs can be compared in the light of a discrete-event model,\n     or, the tagged-signal model (see the reference of <code>MoCEntity</code>).\n     The key element of this trait is the timing beahviour of the events it generates.\n     That is, their periodicity or lack of any periodicity thereof.\n     Note that a MoCSink is a data-type-like entity, as it is intended to capture MoC signals that get\n     \"consumed\" due to their connection with the outside world.\n </p>\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::MoCEntity","forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{},"requiredProperties":{"eventConsumptionRateNumerator":{"name":"eventConsumptionRateNumerator","htmlDescription":" The numerator part of the \"eventConsumptionRate\" property.\n\n <p>\n     The event departure rate defines how fast this MoC source gets consumed in the light of\n     tagged-signal model, or the discrete-event model, equivalently.\n     The faster the rate, the faster the data present in this boundary signal is \"gone\".\n     This notion can differ along different MoCs.\n     For example, in the Synchronous MoC, this means that the data available in the signal (<code>SYSignal</code>) is consumed and\n     <b>should be replenished at all costs</b>. In the SDF MoC, this means that a token is consumed\n     in the signal and can be replenished anytime as long as the buffer implementing this boundary signal (<code>SDFChannel</code>) does\n     not underflow.\n </p>\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"eventConsumptionRateDenominator":{"name":"eventConsumptionRateDenominator","htmlDescription":" The denominator part of the \"eventConsumptionRate\" property. Defaults to 1.\n <p>\n     see <code>eventConsumptionRateNumerator</code> for the full information on this property.\n </p>\n\n","initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"eventConsumptionRateDenominator\")) getViewedVertex().putProperty(\"eventConsumptionRateDenominator\", forsyde.io.lib.hierarchy.behavior.moc.MoCSink.super.eventConsumptionRateDenominator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.MoCSink","simpleName":"MoCSink"},"forsyde::io::lib::hierarchy::platform::hardware::InstrumentedProcessingModule":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::InstrumentedProcessingModule","htmlDescription":" A InstrumentedProcessingModule enriches `GenericProcessingModule` with provision numbers so that\n an analysis and synthesis tool is able to estimate the total amount of execution time is required to execute\n a bunch of instructions in this processing element.\n <p>\n If this processing element exhibits higher level of parallelism (see `GenericProcessingModule`), then the provisions\n should always be provided _per parallel \"thread\"_.\n For example, if the processing element is a typical dual-core, the model instructions per cycle property\n should be as the intructions per cycle _per core_, not their summed total.\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::hardware::GenericProcessingModule"],"requiredPorts":{},"requiredProperties":{"modalInstructionCategory":{"name":"modalInstructionCategory","htmlDescription":" <p>\n A set of possible instructions categories, e.g. instruction set architectures, so that the memory requirements\n can be properly determined.\n These are <b>memory requirements</b>.\n </p>\n\n <p>\n For example, there could be a \"RISCV\" instruction category and a \"niosII\" instruction category\n as a set as follows.\n </p>\n\n <pre>\n modalInstructionCategory: [\n      \"RISCV\",\n      \"niosII\"\n ]\n </pre>\n In this case, the FPGA implementation tries to capture the logic area consumed by the synthesized behaviour.\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}},"modalInstructionsPerCycle":{"name":"modalInstructionsPerCycle","htmlDescription":" <p>\n A map of computational provisions per cycle for different instantiations of this instrumented processing module.\n These are <b>performance provision</b>.\n When a number of a certain instruction is given \"x\" more, it means semantically that a hosted process element\n uses \"x\" operations in the same time period.\n </p>\n\n <p>\n For example, there could be a \"generic\" instantiation, a \"power\" instantiation and a\n \"slow\" so that the provisions can be expressed\n as an associative array with these three possibilties as follow.\n </p>\n\n <pre>\n computationalRequirements: {\n     \"generic\": {\n         \"intadd\": 0.5,\n         \"floatadd\": 0.001,\n         \"branch\": 1.0,\n         ...\n     },\n     \"slow\": {\n          \"intadd\": 0.05,\n          \"floatadd\": 0.00001,\n          \"branch\": 0.2,\n           ...\n      },\n     \"power\": {\n         \"intadd\": 1.0,\n         ...\n     }\n }\n </pre>\n\n <p>\n Where the real numbers describe the amount of the requirements (provisions) is provided per clock cycle.\n So, if you want the amount of requirements (provisions) this processing element is giving per second, you\n simply do:\n </p>\n\n <pre>\n   instructions per second = clock frequency * instructions per clock cycle\n </pre>\n","initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"RealPropertyType","bits":64,"keyType":null,"valueType":null}}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.InstrumentedProcessingModule","simpleName":"InstrumentedProcessingModule"},"forsyde::io::lib::hierarchy::behavior::data::RecordLike":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::data::RecordLike","htmlDescription":" This trait captures record datum.\n A record is an aggregate of data with labels where the data can be heterogeneous.\n An illustrative example of a record are structs in ANSI C.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::DataTypeLike"],"requiredPorts":{"fields":{"name":"fields","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::DataTypeLike","edgeTrait":"forsyde::io::lib::hierarchy::behavior::DataLikeCompositionEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.data.RecordLike","simpleName":"RecordLike"},"forsyde::io::lib::hierarchy::visualization::GreyBox":{"canonicalName":"forsyde::io::lib::hierarchy::visualization::GreyBox","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::visualization::Visualizable"],"requiredPorts":{"contained":{"name":"contained","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::visualization::Visualizable","edgeTrait":"forsyde::io::lib::hierarchy::visualization::VisualContainment","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.visualization.GreyBox","simpleName":"GreyBox"},"forsyde::io::lib::hierarchy::behavior::execution::Stimulator":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::Stimulator","htmlDescription":null,"refinedTraits":[],"requiredPorts":{"activated":{"name":"activated","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::execution::Stimulatable","edgeTrait":"forsyde::io::lib::hierarchy::behavior::execution::EventEdge","multiple":true,"optional":false,"outgoing":true,"incoming":false}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.Stimulator","simpleName":"Stimulator"},"forsyde::io::lib::hierarchy::behavior::moc::sy::SYProcess":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYProcess","htmlDescription":" A SY process is either a SY combination or a SY delay.\n This is enough to build _any_ single-rate synchronous system, no matter how unwieldy.\n","refinedTraits":["forsyde::io::lib::hierarchy::behavior::moc::MoCEntity"],"requiredPorts":{},"requiredProperties":{"outputPorts":{"name":"outputPorts","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}},"inputPorts":{"name":"inputPorts","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"ArrayPropertyType","valueType":{"category":"StringPropertyType","keyType":null,"valueType":null},"keyType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sy.SYProcess","simpleName":"SYProcess"},"forsyde::io::lib::hierarchy::implementation::code::HasLLVMIRImplementations":{"canonicalName":"forsyde::io::lib::hierarchy::implementation::code::HasLLVMIRImplementations","htmlDescription":" This trait enforces the vertex to have at least one inlined LLVM implementation.\n\n There can be more than one, discriminted by a label for each inlined source code.\n For example, a vertex can have a chunck of code with the label \"riscv\" for RISC-V\n based processors and one with label \"cude\" to be implemented directly in a CUDA\n based flow, whenever possible.\n\n","refinedTraits":[],"requiredPorts":{},"requiredProperties":{"outputArgumentPorts":{"name":"outputArgumentPorts","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"outputArgumentPorts\")) getViewedVertex().putProperty(\"outputArgumentPorts\", forsyde.io.lib.hierarchy.implementation.code.HasLLVMIRImplementations.super.outputArgumentPorts())"},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"StringPropertyType","keyType":null,"valueType":null}}},"returnPort":{"name":"returnPort","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"StringPropertyType","keyType":null,"valueType":null}}},"inlinedLLVMIR":{"name":"inlinedLLVMIR","htmlDescription":null,"initializationCode":{},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"StringPropertyType","keyType":null,"valueType":null}}},"inputArgumentPorts":{"name":"inputArgumentPorts","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"inputArgumentPorts\")) getViewedVertex().putProperty(\"inputArgumentPorts\", forsyde.io.lib.hierarchy.implementation.code.HasLLVMIRImplementations.super.inputArgumentPorts())"},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"StringPropertyType","keyType":null,"valueType":null}}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.implementation.code.HasLLVMIRImplementations","simpleName":"HasLLVMIRImplementations"},"forsyde::io::lib::hierarchy::behavior::basic::Plus":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::basic::Plus","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::basic::BasicOperation"],"requiredPorts":{"outputs":{"name":"outputs","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::DataTypeLike","edgeTrait":null,"multiple":true,"optional":false,"outgoing":true,"incoming":false},"inputs":{"name":"inputs","htmlDescription":null,"vertexTrait":"forsyde::io::lib::hierarchy::behavior::DataTypeLike","edgeTrait":null,"multiple":true,"optional":false,"outgoing":false,"incoming":true}},"requiredProperties":{},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.basic.Plus","simpleName":"Plus"},"forsyde::io::lib::hierarchy::behavior::execution::Upsample":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::Upsample","htmlDescription":null,"refinedTraits":["forsyde::io::lib::hierarchy::behavior::execution::Stimulatable","forsyde::io::lib::hierarchy::behavior::execution::Stimulator"],"requiredPorts":{},"requiredProperties":{"initialPredecessorHolds":{"name":"initialPredecessorHolds","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"initialPredecessorHolds\")) getViewedVertex().putProperty(\"initialPredecessorHolds\", forsyde.io.lib.hierarchy.behavior.execution.Upsample.super.initialPredecessorHolds())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}},"repetitivePredecessorHolds":{"name":"repetitivePredecessorHolds","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"repetitivePredecessorHolds\")) getViewedVertex().putProperty(\"repetitivePredecessorHolds\", forsyde.io.lib.hierarchy.behavior.execution.Upsample.super.repetitivePredecessorHolds())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":64,"unsigned":false,"keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.Upsample","simpleName":"Upsample"},"forsyde::io::lib::hierarchy::platform::runtime::FixedPriorityScheduledRuntime":{"canonicalName":"forsyde::io::lib::hierarchy::platform::runtime::FixedPriorityScheduledRuntime","htmlDescription":" As the name implies, runtimes with the \"FixedPriorityScheduledRuntime\" trait can schedule its processes\n following a fixed priority policy. Whether the runtime allows for preemption or not, is a property of components\n satisfying this trait.\n\n If you want to represent the presence of overheads for runtimes satisfying this trait, you should add\n the \"InstrumentedBehaviour\" to a component that has \"FixedPriorityScheduledRuntime\".\n\n","refinedTraits":["forsyde::io::lib::hierarchy::platform::runtime::AbstractRuntime"],"requiredPorts":{},"requiredProperties":{"minimumActivationInSecsNumerator":{"name":"minimumActivationInSecsNumerator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"minimumActivationInSecsNumerator\")) getViewedVertex().putProperty(\"minimumActivationInSecsNumerator\", forsyde.io.lib.hierarchy.platform.runtime.FixedPriorityScheduledRuntime.super.minimumActivationInSecsNumerator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}},"minimumActivationInSecsDenominator":{"name":"minimumActivationInSecsDenominator","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"minimumActivationInSecsDenominator\")) getViewedVertex().putProperty(\"minimumActivationInSecsDenominator\", forsyde.io.lib.hierarchy.platform.runtime.FixedPriorityScheduledRuntime.super.minimumActivationInSecsDenominator())"},"defaultValue":null,"propertyType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}},"allowsInterCoreMigration":{"name":"allowsInterCoreMigration","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"allowsInterCoreMigration\")) getViewedVertex().putProperty(\"allowsInterCoreMigration\", forsyde.io.lib.hierarchy.platform.runtime.FixedPriorityScheduledRuntime.super.allowsInterCoreMigration())"},"defaultValue":null,"propertyType":{"category":"BooleanPropertyType","keyType":null,"valueType":null}},"priorityAssignments":{"name":"priorityAssignments","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"priorityAssignments\")) getViewedVertex().putProperty(\"priorityAssignments\", forsyde.io.lib.hierarchy.platform.runtime.FixedPriorityScheduledRuntime.super.priorityAssignments())"},"defaultValue":null,"propertyType":{"category":"MapPropertyType","keyType":{"category":"StringPropertyType","keyType":null,"valueType":null},"valueType":{"category":"IntegerPropertyType","bits":32,"unsigned":false,"keyType":null,"valueType":null}}},"supportsPreemption":{"name":"supportsPreemption","htmlDescription":null,"initializationCode":{"java":"if (!getViewedVertex().hasProperty(\"supportsPreemption\")) getViewedVertex().putProperty(\"supportsPreemption\", forsyde.io.lib.hierarchy.platform.runtime.FixedPriorityScheduledRuntime.super.supportsPreemption())"},"defaultValue":null,"propertyType":{"category":"BooleanPropertyType","keyType":null,"valueType":null}}},"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.runtime.FixedPriorityScheduledRuntime","simpleName":"FixedPriorityScheduledRuntime"}},"edgeTraits":{"forsyde::io::lib::hierarchy::visualization::VisualConnection":{"canonicalName":"forsyde::io::lib::hierarchy::visualization::VisualConnection","htmlDescription":null,"refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.visualization.VisualConnection","simpleName":"VisualConnection"},"forsyde::io::lib::hierarchy::behavior::moc::sy::SYNetworkEdge":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sy::SYNetworkEdge","htmlDescription":null,"refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sy.SYNetworkEdge","simpleName":"SYNetworkEdge"},"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFNetworkEdge":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::moc::sdf::SDFNetworkEdge","htmlDescription":null,"refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.moc.sdf.SDFNetworkEdge","simpleName":"SDFNetworkEdge"},"forsyde::io::lib::hierarchy::visualization::VisualContainment":{"canonicalName":"forsyde::io::lib::hierarchy::visualization::VisualContainment","htmlDescription":null,"refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.visualization.VisualContainment","simpleName":"VisualContainment"},"forsyde::io::lib::hierarchy::behavior::DataLikeCompositionEdge":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::DataLikeCompositionEdge","htmlDescription":" This edge trait connects a data like entity to other children that define it, e.g. fields of a recrod.\n","refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.DataLikeCompositionEdge","simpleName":"DataLikeCompositionEdge"},"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::BehaviourCompositionEdge","htmlDescription":" This edge trait symbolizes a going up or down one composition level.\n For example, in a ForSyDe Synchronous process network, all the processes have functions inside\n them that \"combine\" the input to the output. Going from the process network level _down_ to the functions\n is a composition of behaviours; this edge trait is used to refers to such connections.\n","refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.BehaviourCompositionEdge","simpleName":"BehaviourCompositionEdge"},"forsyde::io::lib::hierarchy::behavior::execution::EventEdge":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::execution::EventEdge","htmlDescription":null,"refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.execution.EventEdge","simpleName":"EventEdge"},"forsyde::io::lib::hierarchy::platform::hardware::StructuralContainment":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::StructuralContainment","htmlDescription":" A StructuralContainment represnts a structural hierarchy marker.\n This edge trait is used in conjunction with the `Structure` vertex trait to distinguish\n between \"virtual\" edges in the plaform, which only symbolize human comprehension aid, to actual\n physical links that are important for analysis and synthesis.\n","refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.StructuralContainment","simpleName":"StructuralContainment"},"forsyde::io::lib::hierarchy::behavior::parallel::ParallelComputationEdge":{"canonicalName":"forsyde::io::lib::hierarchy::behavior::parallel::ParallelComputationEdge","htmlDescription":" This edge symbolizes the movement of parallelizable data.\n","refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.behavior.parallel.ParallelComputationEdge","simpleName":"ParallelComputationEdge"},"forsyde::io::lib::hierarchy::platform::hardware::PhysicalConnection":{"canonicalName":"forsyde::io::lib::hierarchy::platform::hardware::PhysicalConnection","htmlDescription":" A PhysicalConnection represents a physical link between hardware modules.\n This is rather self-explanatory. If two modules have ports connected and mapped between them,\n physical links ought to exists as the connections.\n","refinedTraits":[],"javaCanonicalName":"forsyde.io.lib.hierarchy.platform.hardware.PhysicalConnection","simpleName":"PhysicalConnection"}},"javaCanonicalName":"forsyde.io.lib.hierarchy.ForSyDeHierarchy","simpleName":"ForSyDeHierarchy"}