Objetivo
Reduction of 5 to 15% of engineering costs due to reduced logic simulation.
Where use of formal methods prevents a redesign, additional cost savings of up to 30% are expected.
Increased value of CheckOff-M software tool product by 20%.
This Demonstration Project will integrate a prototype tool using symbolic timing diagrams as a rigorous graphical specification language into an existing commercial tool (CheckOff). The improved tool will be evaluated through development of a PCI to Memory I/O ASIC. The new tool will allow designers to validate the correctness of an implementation against a design specification without the cost and time needed for traditional simulation.
Á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.
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.
Para utilizar esta función, debe iniciar sesión o registrarse
Convocatoria de propuestas
Data not availableRégimen de financiación
ACM - Preparatory, accompanying and support measuresCoordinador
90475 Nuernberg
Alemania