Verktygsleverantören Transeda ersätter de flesta av sina verktyg med två nya alster: Verification Navigator och State Navigator.
Verification Navigator är en verifieringsmiljö som erbjuder kodtäckning, testsvitsoptimering, täckningsanalys av tillståndsmaskiner och kretsaktivitetsanalys för Verilog, VHDL och blandspråkskonstruktioner. Nykomlingen bygger på företagets tidigare produkter HDL Cover, Verisure och VHDL Cover men har även nya funktioner samt ett gemensamt användargränssnitt.
State Navigator är en miljö för att utveckla, verifiera och avlusa flera samverkande tillståndsmaskiner i VHDL- och Verilogkonstruktioner. Den bygger på Transedas programvara Statesure.