Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
You need to log in or register to use this function
Call for proposal
Data not availableFunding Scheme
ACM - Preparatory, accompanying and support measuresCoordinator
90475 Nuernberg
Germany