Objetivo
This project is a reaction to shortcomings in the validation and verification techniques of hardware/software co-design systems. State-of-the-art for checking and verifying correctness in a hardware/software co-design system is using simulation techniques and for some special request in the design the application of formal verification techniques.
The shortcoming of simulation techniques is nowadays often the low speed of the simulation software since it has to handle very large designs with often too detailed design information. In some cases simulation techniques applied to a VHDL design are not feasible any more since too much time is consumed until getting a result. Beside that, memory requirement problems might cause that simulation is not possible at all.
The solution this project intends to provide w.r.t. this shortcoming is automatic or semi-automatic abstraction of information in order to speed up the simulation. Dependent on the information requested the abstraction might have a different focus such that the requested information is not lost during the abstraction. Pre-results show that such an abstraction either to VHDL or C/C++ can speed up the simulation significantly. In addition to that parallel simulation for different parts of a design might be a solution to the problem.
Since several steps in the abstraction process may be performed in a hand-tailored manner the correctness of the abstraction is in general not guaranteed. In order to check the correctness of the abstraction process formal verification techniques are used. After the model has undergone the abstraction it is provided to the formal verification software as an input in order to speed up the verification. To cope with large designs the verification software will be based on test generation techniques.
Formal verification techniques in general are less suitable with rising circuit complexity. Especially when dealing with bus protocols existing techniques are no more applicable. The formal verification techniques developed for the verification of the abstraction process will be applied to several bus protocols provided by the industrial partner in order to get a feeling for the potential and the limits of bus protocol verification.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información software software de aplicación software de simulación
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
53754 Munich
Alemania
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.