Moderne statische Verifikation ist unerlässlich
Ergänzung zur dynamischen Verifikation
Bekannte statische Verifikationsmethoden wie RTL Lint, statische RTL-Überprüfungen, sequentielle formale Überprüfungen, automatisierte formale Applikationen und Assertion-basierte formale Verifikation von Eigenschaften können als Ergänzung zur dynamischen Verifikation verwendet werden. Sie gestatten die Verifikation in einer frühen Phase des Designzyklus, wenn die Designer noch am RTL-Code arbeiten. Der strategische Einsatz dieser Methoden ist sehr effektiv und hilft, die Effizienz der Verifikation zu steigern und die Gesamtqualität eines Designs zu verbessern.
Erschienen in: elektronik industrie 03/2010
Autor: Ping Yeung Ph.D., DVT Mentor Graphics Corp.
Download des Artikels als PDF
Aktuelle Ausgabe elektronik industrie
Weitere Informationen:
Firma
Verwandte Themen
Fachartikel und Produkte
Ausgereifte Technik bringt neuen Schwung: Die passenden Prozesse zur Asic-Fertigung
Design-Tool für aktive Filter
IC-Design-Software
Ein mit Maple entwickelter 3D-Hallsensor-Allgorithmus ermöglicht ein effizienteres Waschmaschinendesign
Instant Prototyping mit FPGA-basiertem Entwicklungsboard
