1. Siemens urychluje ověřování čipů pro AI
(Matching tags: Siemens,Nvidia,Čipy,Umělá inteligence,Ověřování,Ve­lo­ce,pro­F­P­GA)

Si­e­mens v úzké spo­lu­prá­ci s NVI­DIA dnes ozná­mil, že jeho sys­tém Ve­lo­ce pro­F­P­GA CS pro hard­wa­ro­vě pod­po­ro­va­nou ve­ri­fi­ka­ci a va­li­da­ci umožňuje kon­struk­té­rům a sys­té­mo­vým ...

2. LDRA a Dassault zjednodušují ověřování bezpečnostně kritického softwaru
(Matching tags: Ověřování,LDRA,Bezpečnost,Dassault Systèmes,Spolupráce,Certifikace)

LDRA, zabývající se au­to­ma­ti­zo­va­ným ově­řo­vá­ním soft­wa­ru, sle­do­va­tel­nos­ti a do­dr­žo­vá­ní norem, ozná­mil 5. února LDRA TB­ma­na­ger In­te­gra­ti­on Pac­kage (TIP) pro No Magic Team­work ...