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

Research unit

INNOSUISSE

Project number

132.040 IP-ICT

Project title

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

Texts for this project

	German	French	Italian	English
Key words	-	-	-
Abstract	-	-	-

Category	Text
Key words (English)	ICT, Artificial/local/extended/networked intelligence
Abstract (English)	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.