Patent ID: 7099949

Claim:
A method for defining a system specification for a digital system, said method comprising the steps of: partitioning said system into a plurality of processes, each of the processes having a defined behavior and each of the processes having at least one control thread; defining separately from said processes a single data independent communication protocol for communication within said digital system and between said processes; configuring data communication interfaces in the form of communication input ports and communication output ports for each of the processes, the communication ports forming memory free communication channels, said step of configuring data communication interfaces involving defining communication interfaces with input ports of a first process and output ports to provide unidirectional, point-to-point connections between input ports of a first process and output ports of a second process, said input ports and said output ports being part of the associated processes, said processes implemented in C, Silage or VHDL language; and combining the results of the steps of partitioning, defining and configuring to define specifications for said plurality of processes to form said system specification.