25. A method of designing an essentially digital system, the method comprising: generating a description of the functionality and timing of a digital system, the description comprising a plurality of tasks; determining trade-off task optimization information; and designing the essentially digital system based in part upon an optimized description, wherein non-deterministic behavior of the digital system is modeled by interacting the tasks, wherein each of the tasks describe part of the deterministic behavior of the digital system, wherein the method is executed on a processor-based system.
25. A method of designing an essentially digital system, the method comprising: generating a description of the functionality and timing of a digital system, the description comprising a plurality of tasks; determining trade-off task optimization information; and designing the essentially digital system based in part upon an optimized description, wherein non-deterministic behavior of the digital system is modeled by interacting the tasks, wherein each of the tasks describe part of the deterministic behavior of the digital system, wherein the method is executed on a processor-based system. 28. The method of claim 25 , wherein determining trade-off task optimization information comprises optimizing task concurrency in the description to obtain a task concurrency optimized description that includes partly trade-off task optimization information.