Piirien suunnittelussa virheiden löytäminen mahdollisimman aikaisessa vaiheessa on alue, jolla kaikki EDA-toimittajat tekevät tiiviisti töitä. Mentor Graphics on nyt esitellyt kolme uutta työkalua, joilla suunnitteluvirheitä löytyy C++- ja SystemC-koodista ilman testipenkkejä.
Uudet työkalut ovat nimeltään Catapult DesignChecks, Catapult Coverage ja C to RTL Equivalence SLEC HLS, jolla varmistetaan syntesoidun RTL-koodin ja sitä edeltävän korkeamman tason C-kuvauksen vastaavuus formaalisti.
Mentorin mukaan uusilla työkaluilla logiikkapiirien suunnittelijat voivat säästää merkittävästi aikaa: jopa yli 50 prosenttia esimerkiksi konenäön, koneoppimisen, tietoliikenteen ja kuvan käsittelyn sovelluksissa. Yhtiön mukaan työkalut tuovat "RTL-tasoisen" verifioinnin C-kuvauksen tasolle.
Catapult DesignChecks -työkalu auttaa suunnittelijoita löytämään virheitä koodatessaan, mikä pienentää debuggaukseen tarvittavaa aikaa simuloinnissa ja synteesissä. Työkalussa on sekä staattinen moodi, joka tarkistaa koodia hyvin nopeasti että formaalinen moodi. Molemmat tukevat sekä C++:aa että SystemC:tä.
Catapult Coverage -työkalu puolestaan auttaa suunnittelijoita mittaamaan tarkasti koodin kattavuutta, joten RTL-synteesiin päästään nopeammin.
Lisätietoja työkaluista löytyy Mentorin sivuilta.