HIGH-LEVEL SYNTHESIS OF SELF-TESTING PARALLEL MULTIPROCESSORS COMPUTER SYSTEMS

摘要

The paper includes a proposal of a model of concurrentrntask scheduling and resource assignment characteristic forrnthe problem of system synthesis with property of selftesting..rnOptimal task scheduling, resource assignment,rnallocation task and resource are basic problems in highlevelrnsynthesis of computer systems, particularly withrnabilities of self-testing. Synthesis may have a practicalrnapplication in developing tools for computer aided rapidrnprototyping of such systems.