Objectif
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.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Appel à propositions
Data not availableRégime de financement
ACM - Preparatory, accompanying and support measuresCoordinateur
90475 Nuernberg
Allemagne