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

• Unité de recherche: INNOSUISSE
• Numéro de projet: 132.040 IP-ICT
• Titre du projet anglais: Specification-to-Property Extraction with Controlled TRaceable Agents (SPECTRA)

Mots-clé (Anglais)

ICT, Artificial/local/extended/networked intelligence

Résumé des résultats (Abstract) (Anglais)

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.