Ma­ch42 při­ná­ší nové po­je­tí ana­lo­go­vé ve­ri­fi­ka­ce díky kom­bi­na­ci pro­pri­e­tár­ních al­go­rit­mů umělé in­te­li­gen­ce, vy­so­ce vý­kon­ných si­mu­lač­ních en­gi­nů a šká­lo­va­tel­né clou­do­vé in­frastruk­tu­ry. Jeho plat­for­ma Dis­co­ve­ry Plat­form urych­lu­je prů­zkum ná­vr­ho­vé­ho pro­sto­ru a iden­ti­fi­ku­je po­ru­še­ní spe­ci­fi­ka­cí po­mo­cí přes­né­ho mo­de­lo­vá­ní pa­ra­zit­ních jevů v oba­lech a des­kách ploš­ných spojů.

Plat­for­ma au­to­ma­tic­ky zpra­co­vá­vá ná­vr­ho­vý net­list a uži­va­tel­sky de­fi­no­va­né spe­ci­fi­ka­ce, rych­le de­te­ku­je po­ru­še­ní spe­ci­fi­ka­cí a před hlá­še­ním přes­ně ově­řu­je po­ru­še­ní po­mo­cí si­mu­lač­ní plat­for­my Ca­den­ce Spectre. Tech­no­lo­gie emu­la­ce za­lo­že­ná na stro­jo­vém učení od Ma­ch42 umož­ňuje kon­struk­té­rům spo­leh­li­vě de­te­ko­vat po­ru­še­ní spe­ci­fi­ka­cí s rych­los­tí a přes­nos­tí. Ře­še­ní pod­po­ru­je opě­tov­né po­u­ži­tí IP tím, že umož­ňuje rych­lou cha­rak­te­ri­za­ci vý­ko­nu da­né­ho IP v ši­ro­kém spek­tru kon­fi­gu­ra­cí spe­ci­fi­ka­cí, které da­le­ko pře­sa­hu­jí pů­vod­ní kon­strukč­ní cíle.

Ře­še­ní od Ma­ch42 za­lo­že­né na umělé in­te­li­gen­ci urych­lu­je cestu k spo­leh­li­vé­mu, šká­lo­va­tel­né­mu a efek­tiv­ní­mu ově­řo­vá­ní ná­vrhů in­te­gro­va­ných ob­vo­dů. Ne­dáv­ná vy­lep­še­ní plat­for­my Dis­co­ve­ry se za­mě­řu­jí kon­krét­ně na výzvy spo­je­né s opě­tov­ným po­u­ži­tím IP tím, že umož­ňují ro­bust­ní ově­řo­vá­ní vý­ko­nu v ši­ro­ké škále pro­voz­ních pod­mí­nek, včet­ně na­pě­tí, tep­lo­ty a pro­ces­ních rohů. Tyto ne­dáv­né ino­va­ce pře­de­fi­no­vá­va­jí po­ten­ci­ál opě­tov­né­ho po­u­ži­tí IP tím, že umož­ňují ná­vr­há­řům s jis­to­tou ově­řo­vat správ­nost ob­vo­dů v růz­ných pro­voz­ních pod­mín­kách.