Effiziente Algorithmen zur formalen Verifikation von VLSI-Designs

• Antragsteller: Professor Dr. Hans Jürgen Prömel
• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1995 bis 1999
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5210294

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 731: Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen