Flera intressanta verifieringsverktyg visades upp på årets Eurodac. Emulering, cykelbaserad simulering och formell verifiering rönte stort intresse.
Elektroniktidningen, GenéveMånga intressanta nyheter på verktygssidan men allt för få besökare. Så kan man sammanfatta årets upplaga av konferensen Eurodac, som är tänkt att vara Europas årliga samling inom branschen för datorstödd elektronikkonstruktion.
Här är några exempel på nytillskotten från verktygsleverantörerna.
q Svenska Synthesia presenterade nya versioner av beteendesyntesverktygen Synt och Quickdesigner, som fått uppfräschade användargränssnitt och nya funktioner.
q Synopsys satsar rejält på logikverifiering med lanseringen av emulatorn Arkos plus en cykelbaserad simulator vid namn Cyclone. De båda verktygen har gemensamt användargränssnitt och är tvåspråkiga, vilket innebär att de klarar de båda hårdvarubeskrivande språken VHDL och Verilog. Synopsys hävdar att nykomlingarna sopar mattan med motsvarande hjälpmedel på marknaden, vilket konkurrenterna föga förvånande avfärdar bestämt.
q Compass hade med sig två nyheter; det formella verktyget VFormal, som numera hanterar både VHDL och Verilog, samt Laybool ett verktyg som extraherar funktionell boolsk VHDL- eller Verilogkod direkt från nätlistor. Tanken är att man skall kunna verifiera en layoutad konstruktion direkt mot registernivåbeskrivningen.
q Frontline lanserade en snabbare version av den cykelbaserade simulatorn Cycledrive som klarar flertrådad simulering.
q Mentor Graphics introducerade Quickpower, ett effektanalysverktyg för asickonstruktörer. Verktyget, som sägs vara det enda interaktiva hjälpmedlet i genren, klarar bland annat så kallad what-if-analys. Företaget presenterade även en nykomling i Mentorfamiljen, Royal Digital som specialiserat sig kopplingen mellan kretskortskonstruktion och tillverkning.
Dessvärre fortsätter Eurodac tidigare års kräftgång. Många utställare knorrade över de skrala publiksiffrorna.
Och snart började rykten surra om vilka företag som drar sig ur nästa års konferens som skall gå av stapeln i Düsseldorf.
Viewlogic och Synopsys är två exempel på tongivande företag som lär hoppa av. Cadence uteblev redan i år.
Charlotta von Schultz