JavaScript is currently disabled.Please enable it for a better experience of Jumi. Hitta alla buggar i full fart

En helt ny metod för verifiering av asickonstruktioner med hjälp av FPGA-baserade prototypkort har lanserats av Synplicity. Svenska Hardi finns med på ett hörn i utvecklingen.
Total Recall är namnet på den nya tekniken som lanseras av Synplicity. Med tekniken kan man i realtid hitta buggarna och se alla signaler i en konstruktion - även minnestillstånd - från det felet uppstår och så många cykler tillbaka i tiden man själv önskar. I en vanlig simulator kan man sedan spela upp sekvensen, tillsammans med en automatiskt genererad testbänk, så många gånger som behövs för att förstå och helst förstås också åtgärda problemet. Att åtgärden hade effekt kan verifieras direkt i FPGA-kortet.

- Det här är inget mindre än en revolution inom verifiering, säger John Gallagher, marknadschef på Synplicity.

Enligt Synplicity förenar metoden det bästa ur två världar: hastigheten hos FPGA-baserade prototypkort och observerbarheten hos simulatorer och emulatorer.

Priset man får betala är att det behövs FPGA-kort som är dubbelt så stora som konstruktionen. Synplicity har patenterat ett antal metoder för att exakt kunna reproducera alla tillstånd som ledde till buggen. Grundtanken är att i FPGA-kortet ladda ner såväl konstruktionen som en kopia av densamma, och parallellt med kopian lagra information om stimuli.

Företaget poängterar att man ännu inte har någon färdig produkt framme - en sådan är planerad att komma någon gång i mitten på året. En rimlig gissning är att mässan DAC i juni är ett internt mål.

Stöd finns även för så kallade "assertions". Enligt Synplicity finns många som skulle vilja använda verifiering med hjälp av assertions, men avstår då verktygens prestanda inte räcker. Synplicitys svar är att syntetisera även assertions till FPGA-kortet och på så sätt ge tillräcklig prestanda samtidigt som man behåller observerbarheten i Total Recall.

Synplicity har tagit hjälp från flera håll i utvecklingsarbetet. Bland annat från Hardi Electronics i Lund, framgångsrik tillverkare av FPGA-baserade prototypkort.

- Med rätt mjukvara kan det nog bli möjligt att ersätta de stora, dyra och långsamma emulatorerna med billiga snabba system. Vår hårdvara har redan det mesta som behövs, säger Lars-Eric Lundgren, Hardis vd.

- Vi tror att om vi samarbetar med Synplicity så kan vi hjälpa dem att få fram ett effektivt verktyg snabbare. Samtidigt kan vi anpassa våra system för specifika saker som Synplicity kan kräva av hårdvaran, säger han.



Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)