Finding Efficient Pipelining in Concurrent Structures
Final rept. 15 Jan-14 Dec 1986
KESTREL INST PALO ALTO CA
Pagination or Media Count:
The focus of our research is the production of concurrent systems from First Order Logic specifications. As we have seen in past years, first order logic is a natural means of specification, especially if we intend to synthesize concurrent computing systems from these specifications, because it describes the relationship between input and output precisely without making any commitment as to how a satisfying output is to be achieved given an input. In our conception of the synthesis process, the user is asked to specify only that information that allows a system satisfying the users needs to be distinguished from one that does not by a formal specification of its behavior. From this information, a system that satisfies the specification may be generated using our synthesis techniques. Keywords Concurrency Pipelining Multiprocessors Multi-processor synthesis Communication networks.
- Computer Systems