Verifieringsföretaget Verisity har nu försökt göra något åt detta med produkten Ecelerator. Denna kan ta testbänkar skrivna i Verisitys språk E och syntetisera dem för användning i hårdvaruemulatorer. Dessutom har Verisity utvecklat nya gränssnitt som gör att stora mängder data kan flyttas. Produkterna ska finnas för leverans till sommaren.
Verifieringstiden har redan minskat med en fjärdedel jämfört med tidigare lösningar. Med de leveransfärdiga produkterna utlovas upp till 50 gånger ökad hastighet.
De emulatorer som stöds är i dagsläget Palladium och Cobalt från Cadenceägda Quickturn, Celaro från Mentor Graphics och V-Systems från Ikos. Att lanseringen skedde på den europeiska mässan Date är ingen slump - emulatorn Celaro får nämligen inte säljas i USA.
Adam Edström