- 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.