Accession Number:

ADA210346

Title:

Finding Efficient Pipelining in Concurrent Structures

Descriptive Note:

Final rept. 15 Jan-14 Dec 1986

Corporate Author:

KESTREL INST PALO ALTO CA

Personal Author(s):

• King, Richard M.

Report Date:

1988-01-18

Pagination or Media Count:

54.0

Abstract:

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.

Descriptors:

• *COMMUNICATIONS NETWORKS
• PRODUCTION
• SPECIFICATIONS
• SYNTHESIS
• DUAL MODE
• USER NEEDS
• MULTIPROCESSORS
• LOGIC
• COMPUTATIONS
• STRUCTURES

Subject Categories:

• Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE