INVENTIVE. The Next Frontier - Addressing the Challenges of SoC Verification. Mike Stellfox Cadence Fellow

Transcription

1 VV h x Fon - Addssng h hallngs of o Vfcaon k llfox adnc Fllow

2 Applca on Accla Applca on os Accla os l l Applca on Accla Applca os on Accla os l l Applca on Applca Accla on os Accla os l l as 1+ as Focusd on ysac Appoach o Boos p Vfcaon ysvlog o c vn Vfcaon nvonn $ subsys subsys $ $ $ L cach o XZ uso s Applcaon pcfc oponns a p a h p A cs h / A cs V / o V o A A ulus quncs ovag ono $ subsys subsys $ $ $ L cach R R n - A uso s Applcaon n pcfc oponns A a p a h p A cs h / A cs V / gh spd, wd nfac pphals gh spd, o wd nfac pphals V o Fabc h B h n A, - A W A L W A A L A L L Oh pphals Oh pphals A O R A R s O p s p a y a y J J Low-spd pphal A subsys A Low spd pphals Low spd pphals Auoac ulus naon BF gnal Lay sgn RL ulao aa and Asson hcks $ $ subsys subsys L cach $ h B h R n R, n -, n - n gh spd, wd nfac pphals gh spd, wd nfac pphals $ R R B B n, n - A uso s Applcaon n pcfc oponns A a p a h p A cs h / A cs V / gh spd, wd nfac pphals gh spd, o wd nfac pphals V o Fabc h h - A A A A W L W A L A L L Oh pphals Oh pphals Fabc A A W A L W A A L A L L Oh pphals Oh pphals A O R A R s O p s p a y a y J J Low-spd pphal A subsys A Low spd pphals Low spd pphals A O R A R s O p s p a y a y J J Low-spd pphal A subsys A Low spd pphals Low spd pphals Vfy xhausvly should wok n A o conx 11 adnc sgns yss nc All Rghs Rsvd

3 xplodng o and W vlopn ffo onad by sgn ngaon and Vfcaon W/W ngaon o ngaon a 1 adnc sgn yss, nc All ghs svd ouc: adnc uso uvy

4 AR-Basd Basc o xapl AR ubsys ul-co W dvlopn & W/W vfcaon challngs uso s Applcaon pcfc oponns o W & ngaon challngs A15 A15 A7 A7 L cach L cach ach ohn Fabc aphcs o A/V Applcaon Acclaos A AX ohncy xnson (A) poocol noducs nw coplxy o vfy o nconnc Fabc o nconnc bcong o coplx R B n, h n AA WLA L O splay AR Low-spd pphal JA subsys gh spd, wd nfac pphals Oh pphals Low spd pphals 4 11 adnc sgns yss nc All Rghs Rsvd Rqus any dvlopn nvonns on dffn plafos

5 hallngs of Vfyng ngaon o o W A Vfy W adwa Absacon Lay xpos W dffnaon o W A o pcfc W Faus Rusabl o ngaon conncvy vfcaon Vfy wh o ngaon logc low pow, nups, F, /O ad uxng xhausv vfcaon fo us n any o V conssncy & us fo o vfcaon -up vfcaon qud fo ngaon 5 11 adnc sgns yss nc All Rghs Rsvd

6 splay splay hallngs n o ngaon AR subsys uso s Applcaon pcfc oponns A15 A15 A7 A7 A A L cach L cach aphcs o aphcs o A/V A/V Applcaon Applcaon Acclaos Acclaos ach ohn Fabc ajo ffo has shfd fo nw caon o o ngaon ngang dgal/analog W & W R R B B n, n, o nconnc Fabc h n h n AA AA WLA WLA L L O O Low-spd pphal JA subsys JA AR AR gh gh spd, spd, wd wd nfac nfac pphals pphals Oh Oh pphals pphals Low Low spd spd pphals pphals gnfcan and ffo o vfy and dbug ngaon Rqus cang any sgn & Vfcaon odlng nvonns nconnc Fabcs a ky fo opzng o ngaon ubsys ach ohn nconnc and o nconnc us b vfd agans funconal, pow, & pfoanc quns Vfcaon ffo fo o lafo dvavs s oo hgh lav o ncnal dsgn changs 6 11 adnc sgns yss nc All Rghs Rsvd

7 hallngs wh any sconncd o vlopn nvonns vlop hgh spd absac /++/ys nvonn fo aly W vlopn & Achcual Analyss vlop hgh spd accua FA ooyp nvonn fo W vlopn & Valdaon gnfcan dvlopn ffo fo ach nvonn Ld shang of odls/v bwn nvonns ulpl languags usd fo vfcaon & odlng ffcul o us ss acoss nvonns vlop, ubsys, & o RL Vfcaon nvonns A lo of ffo o ga bwn nvonns vlop ubys, o RL & W/W ngaon Vfcaon nvonns 7 11 adnc sgns yss nc All Rghs Rsvd

8 R R B B n, n, aphcs o aphcs o h n h n A/V A/V AA AA WLA WLA L L O O splay splay J J A A Low-spd pphal subsys A A A R A R hallngs n o W/W vlopn us sa W dvlopn aly n paalll o W gnfcan ffo o ca aly W odl d o nsu conssncy bwn aly odl and al RL AR subsys A15 A15 A7 A7 L cach L cach ach ohn Fabc uso s Applcaon pcfc oponns o nconnc Fabc Applcaon Acclaos Applcaon Acclaos us vfy o can suppo qud W applcaons ncasd sofwa conn o dvlop, nga, & vfy p fon achcual analyss o opz fo W us cass cd sng s labo nnsv and had o hnk of all h ss Runnng O + Applcaons s a havy, coplx nvonn gh spd, wd nfac pphals gh spd, wd nfac pphals Oh pphals Oh pphals Low spd pphals Low spd pphals 8 11 adnc sgns yss nc All Rghs Rsvd

9 o Vfcaon oluon lns 1 adnc sgn yss, nc All ghs svd

10 ghly ngad Vfcaon & odlng lafos O Vualzd nfd ys lafo suppong ybd nvonns OFWAR B lnks o posslcon valdaon RO Achcual-lvl (-RL) vlopn an o Vfcaon lafo o o/ys vlopn ooyp-lvl (os-rl) vlopn ncsv Vfcaon lafo Vfcaon opung lafo ARWAR 1 11 adnc sgns yss nc All Rghs Rsvd

11 ys-nc Vfcaon hodology O vlan Vfcaon ys L ulaon L sgn & Vfcaon fo nw onss odl fo W & RL dvlopn OFWAR gh Lvl ynhss Vfcaon ngaon vfcaon va o n-conx sbnch RO nvonn vlan phal ubsys RL ulaon Fabc oy W ubsys Accl aphcs ocssng ubsys ubsys ub μ ubsys nvonn ul-languag xnsons o V sandad o suppo V,, ys, ++ nvonns ncsv Vfcaon lafo ARWAR Vfcaon opung lafo V xnsons fo W Acclaon adnc sgns yss nc All Rghs Rsvd

12 op-own W/W ys Vfcaon Auoaon bug auoaon chnology & conssn W/W dbug acoss plafos O s as Basd W-vn Vfcaon nvonn OFWAR -basd ss usabl acoss plafos o pos-slcon RO Achcual-lvl (-RL) vlopn o o/ys vlopn ooyp-lvl (os-rl) vlopn ncsv Vfcaon lafo Vfcaon opung lafo ARWAR 1 11 adnc sgns yss nc All Rghs Rsvd

13 ybd o W/W Vfcaon nvonn xapl s L Vual odl fo ubsys W V AR ubsys subsys A15 A15 L cach A7 A7 AR A15 Fas odl L cach ach L ohn cach Fabc XAOR uso s Applcaon pcfc oponns aphcs aphcs o o A/V A/V Applcaon Applcaon Acclaos Acclaos nconnc o Fabc nconnc ( 4, Fabc 4) A A W Accla RL subsyss R R B n n,, Blackbox h h n n AA Blackbox WLA L L O O splay splay Blackbox AR AR Low-spd pphal JA subsys gh spd, wd scnfac pphals sc Oh pphals Low spd pphals B V hn V oy-appd ck-box Wdvn V ub ou subsyss no qud fo hs us cas 1 11 adnc sgns yss nc All Rghs Rsvd

14 uay oday s bg vfcaon challngs a a h o lvl d sysac appoach fo op-down vfcaon o applcaon us cas basd W-dvn vfcaon Augnng boos-up vfcaon W Acclaon bcong h cnal plafo wh nd fo salss ngaon o oh plafos Vual lafo, RL, Rapd ooyp, & os-slcon Advancs n nw vfcaon auoaon & hodology 14 1 adnc sgn yss, nc All ghs svd

15 1 adnc sgn yss, nc All ghs svd