Session Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaEngineering Track Poster: Wednesday Engineering Track Poster ReceptionEvent TypeEngineering Track PosterTopicsBack-End DesignEmbedded SystemsFront-End DesignIPRISC-VTimeWednesday, July 12th5:00pm - 6:00pm PDTLocationLevel 2 Exhibit HallPresentations5:00pm - 5:01pm PDT3D IC Inter-Die Test Implementation Using IEEE1838AuthorsKeunsoo LeeKunhyuk KangJoon KimVistrita Tyagi5:01pm - 5:03pm PDT3DIC Design floorplanning flow and Early Area Estimation for Area optimizationAuthorsYongjin HongJongho KimJun SeomunSangyun Kim5:03pm - 5:04pm PDTA Data Analytics Based Approach for Reducing Clock Tree Power at RTLAuthorsManish KumarVishnu KanwarVishal KashyapGaurav GarkotiMohammed FahadDivya BarejaBhupesh PrajapatVijay TayalAmit Dey5:04pm - 5:06pm PDTA Machine Learning Approach Towards SKILL Code AutocompletionAuthorEnrique Dehaerne5:06pm - 5:07pm PDTA Novel Hierarchical Power Integrity Signoff Methodology for Ultra Large SoCsAuthorsRossana LiuMedha KulkarniPranav RanganathanPiyush JainRushin PatelAjit GokhaleLucas Chaves5:07pm - 5:09pm PDTAccelerating Datapath Verification using Formal techniquesAuthorsBhavya Sri DasariJaaneshwaran ACraig DeatonUday KumarKarthik Rajakumar5:09pm - 5:10pm PDTAdvanced Node PPA and Design Optimization Using Cerebrus ML FlowAuthorsRahul MandalBalamurugan SekarKiran KumarSamuel Di Pietro5:10pm - 5:12pm PDTAn Accurate System Level Transient Voltage Droop Analysis Methodology for High Performance GPGPU Power Delivery NetworkAuthorsYuanyuan LingLing SunTieqing ChenZhenhua GanShixuan QueShuqiang ZhangXiaoxia Zhou5:12pm - 5:13pm PDTAn Efficient and Spice Aligned Method for Complex IO's Behavioral Model Generation and VerificationAuthorsnatish SinglaSAURABH SRIVASTAVAHarsh GargAvinav JoshiMatthieu FillaudAtul BhargavaAnil Dwivedi5:13pm - 5:15pm PDTAn efficient methodology to verify floating point matrix multiplicationAuthorsNicolae TusinschiGerardo NahumSasa Stamenkovic5:15pm - 5:16pm PDTAutomated Analog Model Generation for High Quality Verification using Event Driven SimulatorsAuthorsAadhar SharmaLakshmanan BalasubramanianSaurabh PandeyAastha Nitesh DaveMayank MehtaJaeha Kim5:16pm - 5:18pm PDTAutomatic Generation of 22FDX® OpAmp Designs in the Virtuoso® Suite by Incorporating ID-Xplore™ for Sizing with IIP Layout GeneratorsAuthorsBenjamin PrautschRamy Iskander5:18pm - 5:19pm PDTAutomated and integrated Dynamic Voltage Drop IR-ECO flow on Automotive ADAS SoCsAuthorsManish KumarGovind PalSamant PaulAnil YadavAtul BhargavaAmit JangraKoshy John5:19pm - 5:21pm PDTBridging IR Drop and Timing Analysis Signoff for Execution Excellence in Graphics DesignsAuthorSrim Karthik Kanneganti5:21pm - 5:23pm PDTChallenges and custom methodology involved in successful physical implementation of C-Shaped / Wrapped DDRPHY IP solutionAuthorsSachin RevannavarSaiprasad GollapinniPushpanjali PinnuRoshan KumarGangadhar NaikGreg ford5:23pm - 5:24pm PDTChiplet Design and Verification using an Open Standard Markup LanguageAuthorsJames WongJawad Nasrullah5:24pm - 5:26pm PDTClustering of Assertions using ML/AI in Formal VerificationAuthorsViraj RawalS R PavitraVishwajith Rao5:26pm - 5:27pm PDTEfficient methodologies for STL certification of Spinoff SOC designs.AuthorsArif MohammedChandra Has DondapatiSanjay SinghVishal BhadauriaSubham MohapatraPrasanth Viswanathan PillaiKrishna Allam5:27pm - 5:29pm PDTElectrical Analysis using Hierarchical Approach On Ultra Large DesignsAuthorsSainarayanan Karatholuvu SuryanarayananRakesh Thadimarri Reddy5:29pm - 5:30pm PDTEM/IR Signoff Methodology for Large size Mixed Signal Custom Blocks in High Speed IOsAuthorsAyan Roy ChowdhuryRicha Agrawal5:30pm - 5:32pm PDTFORMAL VERIFICATION CONTRACT BASED SoC SECURITY VALIDATIONAuthorsKiran RampurkarKetan BaladaniyaHarshal MumbaikarManoj Kumar Munigalasurinder sood5:32pm - 5:33pm PDTHazard Detection Tool in Asynchronous Finite State Machines Transition LogicAuthorsRoberta PrioloFrancesco BattiniEnea Dimroci5:33pm - 5:35pm PDTHigh-Performance Design with Rapid RTL Profiling of Critical Power ScenariosAuthorsAlexander PivovarovVidhu JoshiMehdi Sadi5:35pm - 5:36pm PDTHW Security Path Validation Using Formal Methods: Intel Case StudiesAuthorsAlex LevinSayak Ray5:36pm - 5:38pm PDTImproving Design Robustness by Accounting for Device Skew in Static Timing AnalysisAuthorsAftab KhanWenwen Chaiayhan mutluLi Ding5:38pm - 5:39pm PDTIntegration of Intel Thermal Model with Design-for-Reliability FlowAuthorsLei JiangDaniel PantusoPrabhakar MarepalliColin LandonMohammed ShahidSanjay MurthyMike Wang5:39pm - 5:41pm PDTIntent Based Timing ConstraintsAuthorsHemlata GuptaAdil BhanjiManish VermaJennifer BasileKerim KalafalaJack DiLullo5:41pm - 5:43pm PDTIO Designs for reliability in advanced technology nodesAuthorsManoj KumarKailash KumarAkhil ThotliPrateek SinghNitin Bansal5:43pm - 5:44pm PDTLeveraging Integrated Silicon Photonics for a Streamlined GPU ArchitectureAuthorsLuca RaminiJinsung YounMarco FiorentinoSteven DeanRaymond Beausoleil5:44pm - 5:46pm PDTNovel CAD Methodology for IR Drop and Reliability Verification of Stacked Dies (3D-IC)AuthorsMatthew JastrzebskiRoger HaywardNoel Pereira5:46pm - 5:47pm PDTNovel Chip-Package-System thermal analysis with RTL PowerAuthorsChenyang ZhangZhongming HouChen Linshuqiang zhangBin Guo5:47pm - 5:49pm PDTNovel Hierarchical IREM Sign-off Flow using ROMAuthorsDongyoun YiSeonghun JeongByunghyun Lee5:49pm - 5:50pm PDTOvercoming Challenges in Functional Verification of Automotive Traffic SchedulersAuthorsHarshit JaiswalHemlata Bist5:50pm - 5:52pm PDTReuse of Lint Waivers: An Approach to Relay Knowledge & Guide SynthesisAuthorsAmit GoldieHimanshu KathuriaSuresh BarlaVrinda PadmakumariRohit Kumar OhlayanParas Mal JainLokesh Ahuja5:52pm - 5:53pm PDTRV (Reliability Verification) Automation To Improve Execution EfficiencyAuthorsRaj DuaBrahmaiah ThrovaguntaNarendra Kumar Bhuma, JayaPriyanka BhagwatSandeep Dappili5:53pm - 5:55pm PDTSigmaDVD (sDVD): High Coverage Solution for Power Integrity SignoffAuthorsAnusha VemuriEmmanuel ChaoSantosh SantoshChidambaram RakkappanEd Deeters5:55pm - 5:56pm PDTSpecial Bit Pattern Injection in Simulation Verification by leveraging Formal VerificationAuthorsViraj RawalVishwajith RaoNivin George5:56pm - 5:58pm PDTStatic Analysis for Early Detection and Efficient DebugAuthorsHormoz YaghutielGuru ShindaghattaKanad Chakraborty5:58pm - 5:59pm PDTCANCELED - Tips & Facts That Every Design Engineer Should Know About RTL SynthesisAuthorClifford Cummings