Mechanisms of inclusion of formal specifications to the knowledge bases of computer languages

Pustovarov V.I.

Rising of level for the complex task decision in hardware/software co-design systems require storage of types, restriction, relations and affective criterion specifications. For implementation of automated type definition task during formal verification and code, there are proposed using of different element of computer and multimedia languages or specifications. It is shown, that application of such representations permit to organize effective processing of CAD knowledge bases and their using for proved synthesis of advanced programs and models.

Full text (pdf)