Specification-to-Property Extraction with Controlled TRaceable Agents (SPECTRA)

Forschungsstelle

INNOSUISSE

Projektnummer

132.040 IP-ICT

Projekttitel

Specification-to-Property Extraction with Controlled TRaceable Agents (SPECTRA)

Projekttitel Englisch

Specification-to-Property Extraction with Controlled TRaceable Agents (SPECTRA)

Texte zu diesem Projekt

	Deutsch	Französisch	Italienisch	Englisch
Schlüsselwörter	-	-	-
Abstract	-	-	-

Kategorie	Text
Schlüsselwörter (Englisch)	ICT, Artificial/local/extended/networked intelligence
Abstract (Englisch)	Functional verification ensures integrated circuits conform to design specs, proving they behave as intended. It's the most time-consuming phase of chip design, taking ?50% of a project development timeline. With SPECTRA we can save 20% effort, reduce time-to-market and boost Kandou product quality.