Concurrent timed digital system design method and environment

摘要

The present invention provides a design method and a design environment of an essentially digital system.The system is described as a set of threads in a description language. The set of threads defines a representation or model of the digital system. The method further comprises the steps of: 1. associating with each of the threads a variable whose value represents local timing for that thread when the thread is executed on a processing engine; 2. concurrently creating second threads being refinements of at least part of the first process threads and having more detail while remaining within the specification of the digital system, the second threads defining a second representation of the digital system; 3. assigning to each new second thread a value for the local timing variable; and 4. repeating steps 2 and 3 to produce second threads of greater detail defining further representations of the digital system until the granularity of the representation of the digital system is finer than a predetermined threshold.;The design environment includes a first description of the digital system in a description language as a set of first process threads, each of the threads being associated with a variable whose value represents a local time of the thread when the thread is executed on a processing engine; means for concurrently generating second process threads from at least a part of the first process threads, the second threads having more detail while remaining within the specification of the digital system, the second process threads defining a second representation of the digital system; means for associating a variable to each second process thread having a value representing the local time of that second thread; means for executing the first or second representation of the digital system, the executing means comprising: a scheduler for concurrently executing the threads, the scheduler selecting the next thread to be processed such that variables shared by different threads are accessed in order of increasing value for the local time variable of the threads.