| “Bounded Proof” sign-off with formal coverage | Abhishek Anand, Chinyu Chen, Bathri Narayanan Subramanian, Joe Hupcey | 2021 | Paper | | 2021 | paper |
| “C” you on the faster side: Accelerating SV DPI based co-simulation | Parag Goel, Amit Sharma, and Hari Vinodh Balisetty | 2014 | Paper | | 2014 | paper |
| “C” you on the faster side: Accelerating SV DPI based co-simulation | Hari Vinod Balisetty, Parag Goel, and Amit Sharma | 2014 | Presentation | | 2014 | presentation |
| “In-Emulator” UVM++ Randomized Testbenches for High Performance Functional Verification | Adnan Hamid and David Kelf | 2022 | Presentation | | 2022 | presentation |
| “Shift left” Hierarchical Low-Power Static Verification Using SAM | Bharani Ellore, Parag Mandrekar, Himanshu Bhatt, Susantha Wijesekara, and Bhaskar Pal | 2020 | Paper | | 2020 | paper |
| “Shift left” Hierarchical Low-Power Static Verification Using SAM | Bharani Ellore, Parag Mandrekar, Himanshu Bhatt, Susantha Wijesekara, and Bhaskar Pal | 2020 | Poster | | 2020 | poster |
| “What-If” analysis of Safety Mechanism’s impacts on ETHMAC design under Functional Safety flow | Udaykrishna J, Sujatha Hiremath, Kapil Kumar, Sachin Pathak, Gaurav Goel | 2022 | Presentation | | 2022 | presentation |
| 1,2,3,…8 simple steps towards a single digital signal processing testbench supporting heterogeneous interfaces and datatypes | Nico Lugil | 2016 | Presentation | | 2016 | presentation |
| 1,2,3,…8 simple steps towards a single digital signal processing testbench supporting heterogeneous interfaces and datatypes | Nico Lugil | 2016 | Paper | | 2016 | paper |
| 5.1 Smart Verification leveraging PSS; 5.2 When Automotive FuSa Met IC | David Hwang and Sera Gao | 2021 | Presentation | | 2021 | presentation |
| 5G – Chances and Challenges from Test & Measurement Perspective | Meik Kottkamp | 2017 | Presentation | | 2017 | presentation |
| 5G / NR Explained From 3GPP 5G Standard Fundamentals To 5G Enabled Verticals | Michael Faerber and Kilian Roth | 2019 | Presentation | | 2019 | presentation |
| 5G for people and things Spectrum Opportunities and Challenges of 5G | | 2017 | Presentation | | 2017 | presentation |
| A 30 Minute Project Makeover Using Continuous Integration | JL Gray | 2012 | Paper | | 2012 | paper |
| A 30 Minute Project Makeover Using Continuous Integration | JL Gray and Gordon McGregor | 2012 | Presentation | | 2012 | presentation |
| A 360 Degree View of UVM Events | Vikas Billa, Nagesh Kokonda | 2017 | Presentation | | 2017 | presentation |
| A 360 Degree View of UVM Events – A Case Study | Deepak Kumar E V, Sathish Dadi, and Vikas Billa | 2016 | Paper | | 2016 | paper |
| A 360 Degree View of UVM Events (A Case Study) | Deepak Kumar E V, Sathish Dadi, and Vikas Billa | 2016 | Presentation | | 2016 | presentation |
| A Client-Server Method for Register Design and Documentation | Scott D Orangio and Julien Gagnon | 2016 | Paper | | 2016 | paper |
| A Comparative Study of CHISEL and SystemVerilog Based on Logical Equivalent SweRV EL2 RISC V Core | Junaid Ahmed, Waleed Bin Ehsan, Laraib Khan, Asad Aleem, Agha Ali Zeb, Sarmad Paracha, Abdul Hameed Akram, Aashir Ahsan | 2022 | Presentation | | 2022 | presentation |
| A Comparative Study of CHISEL and SystemVerilog Based on Logical Equivalent SweRV EL2 RISCV Core | Junaid Ahmed, Waleed Bin Ehsan, Laraib Khan, Asad Aleem, Agha Ali Zeb, Sarmad Paracha, Abdul Hameed Akram, and Aashir Ahsan | 2022 | Paper | | 2022 | paper |
| A comparison of methodologies to simulate mixed-signal IC | Simone Fontanesi, Karsten Einwich, Paul Ehrlich, Gaetano Formato, Andrea Possemato | 2021 | Paper | | 2021 | paper |
| A Complete SystemC Process Instrumentation Interface and Its Application to Simulation Performance Analysis | Bishnupriya Bhattacharya, Chandra Sekhar Katuri, and Vincent Motel | 2016 | Poster | | 2016 | poster |
| A Complete SystemC Process Instrumentation Interface and Its Application to Simulation Performance Analysis. | Bishnupriya Bhattacharya, Chandra Sekhar Katuri, and Vincent Motel | 2016 | Paper | | 2016 | paper |
| A Comprehensive Verification Platform for RISC-V based Processors | Emre Karabulut, Berk Kisinbay, Abdullah Yildiz, and Rifat Demircioglu | 2020 | Presentation | | 2020 | presentation |
| A Comprehensive Verification Platform for RISC-V based Processors | Emre Karabulut, Berk Kisinbay, Abdullah Yildiz and Rifat Demircioglu | 2020 | Paper | | 2020 | paper |
| A concept for expanding a UVM testbench to the analog-centric toplevel | Felix Assmann, Axel Strobel and Hans Zander | 2015 | Paper | | 2015 | paper |
| A concept for expanding a UVM testbenchto the analog-centric toplevel | Felix Assmann, Axel Strobel and Hans Zander | 2015 | Poster | | 2015 | poster |
| A Coverage-Driven Formal Methodology for Verification Sign-off | Ang Li, Hao Chen, Jason K Yu, Ee Loon Teoh, and Iswerya Prem Anand | 2019 | Paper | | 2019 | paper |
| A Coverage-Driven Formal Methodology for Verification Sign-off | Ang Li, Hao Chen, Jason K Yu, Ee Loon Teoh and, Iswerya Prem Anand | 2019 | Presentation | | 2019 | presentation |
| A Dyadic Transformation Based Methodology To Achieve Coverage Driven Verification Goal | Swapnajit Mitra | 2017 | Presentation | | 2017 | presentation |
| A Dyadic Transformation Based Methodology to Achieve Coverage Driven Verification Goal | Swapnajit Mitra | 2017 | Paper | | 2017 | paper |
| A Dynamic Approach Towards Register Coverage Generation and Collection to Reduce Compilation Overhead of Traditional UVM Register Layers | Subham Banerjee | 2020 | Presentation | | 2020 | presentation |
| A Formal Verification App Towards Efficient Chip-Wide Clock Gating Verification | Prosenjit Chatterjee, Scott Fields, and Syed Suhaib | 2014 | Presentation | | 2014 | presentation |
| A Formal Verification App Towards Efficient, Chip-Wide Clock Gating Verification | Prosenjit Chatterjee, Scott Fields, and Syed Suhaib | 2014 | Paper | | 2014 | paper |
| A Framework for AMS Verification IP development with SystemVerilog, UVM and Verilog-AMS | Mike Bartley, Jeganath Gandhi R | 2014 | Paper | | 2014 | paper |
| A Framework for AMS Verification IP development with SystemVerilog, UVM and Verilog-AMS | Mike Bartley and Jeganath Gandhi R | 2014 | Paper | | 2014 | paper |
| A Framework for Verification of Program Control Unit of VLIW processors | Santhosh Billava, Sharangdhar M Honwadkar | 2014 | Presentation | | 2014 | presentation |
| A Framework for Verification of Program Control Unit of VLIW Processors | Santhosh Billava, Sharangdhar M Honwadkar | 2014 | Paper | | 2014 | paper |
| A Generic Approach to Handling Sideband Signals | Markus Brosch and Salman Tanvir | 2019 | Presentation | | 2019 | presentation |
| A Generic Configurable Error Injection Agent for All On-Chip Memories | Niharika Sachdeva, Arjun Suresh Kumar, Raviteja Gopagiri, Anil Deshpande, Somasunder Kattepura Sreenath, Damandeep Saini | 2022 | Presentation | | 2022 | presentation |
| A Generic Configurable Error Injection Agent for On-Chip Memories | Niharika Sachdeva, Arjun Suresh Kumar, Raviteja Gopagiri, Anil Deshpande, Somasunder Kattepura Sreenath | 2022 | Paper | | 2022 | paper |
| A Guide To Using Continuous Integration Within The Verification Environment | Jason Sprott | 2014 | Presentation | | 2014 | presentation |
| A Guide To Using Continuous Integration Within The Verification Environment | Jason Sprott, André Winkelmann, and Gordon McGregor | 2014 | Paper | | 2014 | paper |
| A Guide To Using Continuous Integration Within The Verification Environment | André Winkelmann, Jason Sprott, and Gordon McGregor | 2014 | Poster | | 2014 | poster |
| A Holistic Approach to Low-Power, Mixed-Signal Design Verification Using Power Intent | Vijay Kumar Sankaran, Lakshmanan Balasubramanian, Bharath Kumar Poluri, Venkatraman Ramakrishnan, Badrinarayan Zanwar, and Qingyu Lin | 2016 | Paper | | 2016 | paper |
| A Holistic Approach to Low-Power, Mixed-Signal Design Verification Using Power Intent | Qingyu Lin | 2016 | Poster | | 2016 | poster |
| A Holistic Overview on Preventive & Corrective Action To Handle Glitches | Rohit Kumar Sinha, Parimal Das | 2022 | Poster | | 2022 | poster |
| A Holistic View of Mixed-Language IP Integration | Pankaj Singh and Gaurav Kumar Verma | 2010 | Paper | | 2010 | paper |
| A Hybrid Channel for Co-Simulation of Behavioral SystemC IP with its Full System Prototype on FPGA | Antonis Papagrigoriou, Miltos D. Grammatikakis and Voula Piperaki | 2018 | Presentation | | 2018 | presentation |
| A Hybrid Channel for Co-Simulation of Behavioral SystemC IP with its Full System Prototype on FPGA* | Antonis Papagrigoriou, Antonis Papagrigoriou and Voula Piperaki | 2018 | Paper | | 2018 | paper |
| A Hybrid Verification Solution to RISC V Vector Extension | Chenghuan Li, Yanhua Feng, Liam Li | 2022 | Presentation | | 2022 | presentation |
| A Hybrid Verification Solution to RISC-V Vector Extension | Chenghuan Li, Yanhua Feng, and Liam Li | 2022 | Paper | | 2022 | paper |
| A Low Maintenance Infrastructure to Jumpstart CPU Regression and Performance Correlation | Thomas Soong, Christopher Browne, and Chenhui Huang | 2022 | Poster | | 2022 | poster |
| A Low Maintenance Infrastructure to Jumpstart CPU Regression and Performance Correlation | Thomas Soong, Chenhui Huang, and Christopher Browne | 2022 | Paper | | 2022 | paper |
| A Meta-Model-Based Approach for Semantic Fault Modeling on Multiple Abstraction Levels | Michael Schwarz and Moomen Chaari, Bogdan-Andrei Tabacaru | 2015 | Paper | | 2015 | paper |
| A Meta-Model-Based Approach for Semantic Fault Modeling on Multiple Abstraction Levels | M. Schwarz M. Chaari, B.-A. Tabacaru, and W. Ecker | 2015 | Presentation | | 2015 | presentation |
| A Meta-Modeling-Based Approach for Automatic Generation of Fault-Injection Processes | Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, and Thomas Kruse | 2014 | Paper | | 2014 | paper |
| A Meta-Modeling-Based Approach for Automatic Generation of Fault-Injection Processes | B.-A. Tabacaru, M. Chaari, W. Ecker, and T. Kruse | 2014 | Presentation | | 2014 | presentation |
| A Method to Accelerate SoC Implementation Cycle by Automatically Generating CDC Constraints | Ashish Hari, Sulabh Kumar Khare | 2015 | Presentation | | 2015 | presentation |
| A Methodology for Evaluating SI Artefacts in DDR4-3DS PHY using Channel Modelling | Aditya S Kumar, Gowdra Bomanna Chethan, Shivani Maurya, Anil Deshpande, Somasunder Kattepura Sreenath | 2021 | Paper | | 2021 | paper |
| A Methodology for Interrupt Analysis in Virtual Platforms | Puneet Dhar | 2015 | Presentation | | 2015 | presentation |
| A Methodology for Using Traffic Generators with Real-Time Constraints | Avinash Mehta | 2015 | Presentation | | 2015 | presentation |
| A Methodology to Port a Complex Multi-Language Design and Testbench for Simulation Acceleration | Horace Chan, Brian Vandegriend, and Efrat Shneydor | 2015 | Paper | | 2015 | paper |
| A Methodology to Port a Complex Multi-Language Design and Testbench for Simulation Acceleration | Horace Chan, Brian Vandegriend, and Efrat Shneydor | 2015 | Presentation | | 2015 | presentation |
| A Methodology to Reuse Unit Level Validation Infrastructure | Ashutosh Parkhi | 2017 | Presentation | | 2017 | presentation |
| A Methodology to Verify Functionality, Security, and Trust for RISC-V Cores | W. W. Chen, N. Tusinschi, and T. L. Anderson | 2020 | Presentation | | 2020 | presentation |
| A Methodology to Verify Functionality, Security, and Trust for RISC-V Cores | W. W. Chen, N. Tusinschi and T. L. Anderson | 2020 | Paper | | 2020 | paper |
| A Metric-driven Methodology For Firmware Verification In Simulation/Emulation Environments | Goran Savić | 2016 | Paper | | 2016 | paper |
| A Mixed Signal System Design Methodology in SystemC AMS for Automotive Audio Power Amplifiers | Skule Pramm, Joen Westendorp, and Quino Sandifort | 2019 | Paper | | 2019 | paper |
| A Mutually-Exclusive Deployment of Formal and Simulation Techniques Using Proof-Core Analysis | Keerthikumara Devarajegowda, Jeroen Vliegen, Goran Petrovity, and Kawe Fotouhi | 2017 | Presentation | | 2017 | presentation |
| A Mutually-Exclusive Deployment of Formal and Simulation Techniques Using Proof-Core Analysis | Keerthikumara Devarajegowda, Jeroen Vliegen, Goran Petrovity, and Kawe Fotouhi | 2017 | Paper | | 2017 | paper |
| A New Approach for Generating View Generators | Johannes Schreiner, Felix Willgerodt, and Wolfgang Ecker | 2017 | Paper | | 2017 | paper |
| A New Approach for Generating View Generators | Johannes Schreiner, Felix Willgerodt, and Wolfgang Ecker | 2017 | Poster | | 2017 | poster |
| A New Approach to Easily Resolve the Hidden Timing Dangers of False Path Constraints on Clock Domain Crossings | Omri Dassa, Yossi Mirsky | 2022 | Presentation | | 2022 | presentation |
| A New Approach to Easily Resolve the Hidden Timing Dangers of False Path Constraints on Clock Domain Crossings | Omri Dassa and Yossi (Joseph) Mirsky | 2022 | Paper | | 2022 | paper |
| A New Approach to Low-Power Verification: Low Power Apps | Madhur Bhargava and Awashesh Kumar | 2018 | Paper | | 2018 | paper |
| A New Class Of Registers | Mark Peryer and David Aerne | 2016 | Poster | | 2016 | poster |
| A New Class Of Registers | M. Peryer and D. Aerne | 2016 | Paper | | 2016 | paper |
| A New Epoch is Beginning: Are You Getting Ready for Stepping Into UVM-1.2? | Roman Wang, Uwe Simm | 2014 | Poster | | 2014 | poster |
| A New Epoch is Beginning: Are You Getting Ready for Stepping Into UVM-1.2? | Roman Wang,Uwe Simm | 2014 | Paper | | 2014 | paper |
| A novel approach to create multiple domain based DV architecture to address typical Verification challenges, for the DUT with mutual exclusive functionalities, using UVM Domains | Subham Banerjee and Keshava Krishna Raja | 2017 | Paper | | 2017 | paper |
| A novel approach to create multiple domain based DV architecture to address typical Verification challenges, for the DUT with mutual exclusive functionalities, using UVM Domains | | 2017 | Poster | | 2017 | poster |
| A Novel Approach to Functional Test Development and Execution using High-Speed IO | Marcus Schulze Westenhorst, Jörg Simon, Markus Bücker, Klaus Dieter Hilliges, Michael Braun | 2021 | Paper | | 2021 | paper |
| A Novel Approach to Hardware Controlled Power Aware Verification with Optimized Power Consumption Techniques at SOC | Eldin Ben Jacob, Harshal Kothari, Sriram Kazhiyur Soundarrajan, Somasunder Kattepura Sreenath | 2022 | Paper | | 2022 | paper |
| A Novel Approach To In-System SRAM Repair Verification in Embedded SoC to Bridge Gap between Test and Functional Mode | Harshal Kothari, Eldin Ben Jacob, Ajay Vamshi Krishna, Sriram Kazhiyur Sounderrajan, Somasunder Kattepura Sreenath | 2021 | Paper | | 2021 | paper |
| A Novel Approach to Reduce Power Consumption By Bridging The Gap between Standalone Functional Scenario and Real Time Scenario at SOC | Eldin Ben Jacob, Harshal Kothari, Sriram Kazhiyur Soundarrajan, Somasunder Kattepura Sreenath | 2022 | Poster | | 2022 | poster |
| A Novel Approach to Reuse Firmware for Verification of Controller based Sub-Systems using PSS | Vishnu Ramadas, Simranjit Singh, Ashwani Aggarwal, Woojoo Space Kim , Seonil Brian Choi | 2021 | Paper | | 2021 | paper |
| A Novel Approach to Verify CNN Based Image Processing Unit | Sumit K. Kulshreshtha, Raghavendra J N | 2021 | Paper | | 2021 | paper |
| A Novel Performance Evaluation Methodology using Virtual Prototyping and Emulation | WoojooSpace Kim | 2019 | Presentation | | 2019 | presentation |
| A Novel Performance Evaluation Methodology using Virtual Prototyping and Emulation | Woojoo Space Kim | 2018 | Presentation | | 2018 | presentation |
| A Novel Processor Verification Methodology based on UVM | Abhineet Bhojak, Tejbal Prasad, and Stephan Herrmann | 2015 | Paper | | 2015 | paper |
| A Novel Variation-Aware Mixed-Signal Verification Methodology to achieve High-Sigma Variation coverage at nanometer designs | Tibi Galambos, Sumit Vishwakarma | 2021 | Paper | | 2021 | paper |
| A Practical Approach to Measuring and Improving the Functional Verification of Embedded Software | Stéphane Bouvier, Nicolas Sauzède, Florian Letombe, and Julien Torrès | 2012 | Paper | | 2012 | paper |
| A Practical Approach to Measuring and Improving the Functional Verification of Embedded Software | Stéphane Bouvier, Nicolas Sauzède, Florian Letombe, and Julien Torrès | 2012 | Presentation | | 2012 | presentation |
| A Practical Look @ SystemVerilog Coverage – Tips, Tricks, and Gotchas | Doug Smith and John Aynsley | 2011 | Paper | | 2011 | paper |
| A Pragmatic Approach Leveraging Portable Stimulus from Subsystem to SoC level and SoC Emulation | Karandeep Singh, Aditya Chopra, Joachim Geishauser, Nitin Verma | 2019 | Presentation | | 2019 | presentation |
| A Pragmatic Approach Leveraging Portable Stimulus from Subsystem to SoC level and SoC Emulation | Karandeep Singh, Aditya Chopra, Joachim Geishauser, Nitin Verma | 2019 | Paper | | 2019 | paper |
| A Pragmatic Approach to Metastability-Aware Simulation | Joseph Bulone, Roger Sabbagh | 2014 | Paper | | 2014 | paper |
| A Pragmatic Approach to Metastability-Aware Simulation | Joseph Bulone, Roger Sabbagh | 2014 | Presentation | | 2014 | presentation |
| A real world application of IP-XACT for IP packaging Bridging the usability gap | Philip Todd | 2014 | Paper | | 2014 | paper |
| A real world application of IP-XACT for IP packaging Bridging the usability gap | Philip Todd | 2014 | Presentation | | 2014 | presentation |
| A Real-World Clock Generator Class for UVM | Rhitam Datta, Ankit Somani | 2017 | Presentation | | 2017 | presentation |
| A Recipe for swift Tape-out of Derivative SoCs: A Comprehensive Validation Approach using Formal-based Sequential Equivalence and Connectivity Checking | Priyanshu Jain, Saket Gaddagi, Sandeep Kumar and Ipshita Tripathi | 2022 | Presentation | | 2022 | presentation |
| A Reusability Combat in UVM Callbacks vs Factory | Deepak Kumar EV, Vikas Billa, Satish Dadi, Ranganath Kempanahally | 2015 | Poster | | 2015 | poster |
| A Reusable, Scalable Formal App for Verifying Any Configuration of 3D IC Connectivity | Daniel Han, Walter Sze, Benjamin Ting, and Darrow Chu | 2013 | Paper | | 2013 | paper |
| A scalable framework to validate interconnect-based firewalls to enhance SoC security coverage | Ashutosh Mishra, Suresh Vasu | 2022 | Paper | | 2022 | paper |
| A scalable framework to validate interconnect-based firewalls to enhance SoC security coverage | Ashutosh Mishra, Suresh Vasu | 2022 | Presentation | | 2022 | presentation |
| A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs | Aman Kumar, Sebastian Simon | 2021 | Paper | | 2021 | paper |
| A Simplified Approach Using UVM Sequence Items for Layering Protocol Verification | Haiqian Yu and Christine Thomson | 2017 | Paper | | 2017 | paper |
| A Simplified Approach Using UVM Sequence Items for Layering Protocol Verification | Christine Thomson and Haiqian Yu | 2017 | Presentation | | 2017 | presentation |
| A single generated UVM Register Model to handle multiple DUT configurations | Salvatore Marco Rosselli and Giuseppe Falconeri | 2020 | Presentation | | 2020 | presentation |
| A SMART GENERATION OF DESIGN ATTRIBUTES FOR VERIFICATION CLOSURE USING SPECMAN | Meirav Nitzan, Yael Kinderman, and Efrat Gavish | 2013 | Poster | | 2013 | poster |
| A Smart Synchronizer – Pragmatic way to cross asynchronous clock domains | Priyank Parakh and Steven J Kommrusch | 2011 | Paper | | 2011 | paper |
| A Specification-Driven Methodology for the Design and Verification of Reset Domain Crossing Logic | Priya Viswanathan, Kurt Takara, Chris Kwok, and Islam Ahmed | 2018 | Paper | | 2018 | paper |
| A Specification-Driven Methodology for the Design and Verification of Reset Domain Crossing Logic | Priya Viswanathan, Kurt Takara, Chris Kwok, and Islam Ahmed | 2018 | Poster | | 2018 | poster |
| A Step Towards Zero Silicon Bugs Using Assertion Based Assumption Validation | Rohit Kumar Sinha and Babu Christie | 2020 | Paper | | 2020 | paper |
| A Step towards Zero Silicon Bugs: SVA Protocol Based Assumption Validation | Rohit Kumar Sinha and Babu Christie | 2020 | Poster, Presentation | | 2020 | poster presentation |
| A Structured Approach to verify Ties, Unconnected Signals and Parameters | Saurabh Singh, Peter Limmer, and Thomas Luedeke | 2016 | Presentation | | 2016 | presentation |
| A Structured Approach to verify Ties, Unconnected Signals and Parameters | Saurabh Singh, Peter Limmer, and Thomas Luedeke | 2016 | Paper | | 2016 | paper |
| A Systematic Approach to Power State Table (PST) Debugging | Bhaskar Pal, Suman Nandan, Kaushik De, and Rajarshi Mukherjee | 2013 | Paper | | 2013 | paper |
| A Systematic Approach to Power State Table (PST) Debugging | Bhaskar Pal | 2013 | Presentation | | 2013 | presentation |
| A Systematic Formal Reuse Methodology: From Blocks to SoC Systems | Hao Chen, Yi Sun, Ang Li, and Dorry Cao | 2020 | Presentation | | 2020 | presentation |
| A Systematic Methodology for Verifying Clock Domain Crossing Reconvergence | Priya Viswanathan | 2017 | Presentation | | 2017 | presentation |
| A Systematic Take on Addressing Dynamic CDC Verification Challenges | Sukriti Bisht, Sulabh Kumar Khare, and Ashish Hari | 2019 | Paper | | 2019 | paper |
| A Systematic Take on Addressing Dynamic CDC Verification Challenges | Sukriti Bisht, Sulabh Kumar Khare, and Ashish Hari | 2019 | Presentation | | 2019 | presentation |
| A SystemC Library for Advanced TLM Verification | Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Wolfgang Ecker, and Volkan Esen | 2012 | Paper | | 2012 | paper |
| A SystemC Library for Advanced Verification – Towards an Enhanced OVM/UVM for SystemC | Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Wolfgang Ecker, and Volkan Esen | 2012 | Presentation | | 2012 | presentation |
| A SystemC-based UVM verification infrastructure | Mike Bartley and Harshavardhan Narla | 2015 | Paper | | 2015 | paper |
| A SystemC-based UVM verification infrastructure | Mike Bartley and Harshavardhan Narla | 2015 | Poster | | 2015 | poster |
| A SystemVerilog Framework for Easy Method Advice in Object-oriented Test Benches | Eric Ohana | 2013 | Poster | | 2013 | poster |
| A SystemVerilog Framework for Easy Method Advice in Object-oriented Test Benches | Eric Ohana | 2013 | Paper | | 2013 | paper |
| A SystemVerilog Framework for Efficient Randomization of Images with Complex Inter-Pixel Dependencies | Axel Voss, Gabriel Jönsson, and Lars Viklund | 2020 | Presentation | | 2020 | presentation |
| A Tale of Two Languages – SystemVerilog and SystemC | David C Black | 2013 | Paper | | 2013 | paper |
| A Tale of Two Languages: SystemVerilog & SystemC | David C Black | 2013 | Presentation | | 2013 | presentation |
| A Unified Framework for Multilanguage Verification IPs Integration | Surinder Sood, Selvakumar Krishnamoorthy, Guarav Jalan | 2015 | Presentation | | 2015 | presentation |
| A Unified Testbench Architecture Solution for Verifying Variants of A PLL IP | Deepa Ananthanarayanan and Malathi Chikkanna | 2015 | Presentation | | 2015 | presentation |
| A Unified Testbench Architecture Solution for Verifying Variants of the PLL IP | Deepa Ananthanarayanan and Malathi Chikkanna | 2015 | Paper | | 2015 | paper |
| A Universal DFT Verification Environment: Filling the Gap between Function Simulation and ATE Test | Rui Huang | 2016 | Presentation | | 2016 | presentation |
| A Universal DFT Verification Environment: Filling the Gap between Function Simulation and ATE Test | Rui Huang | 2016 | Paper | | 2016 | paper |
| A UVM Based Methodology for Processor Verification | Abhineet Bhojak, Stephan Herrmann, and TejbalPrasad | 2015 | Presentation | | 2015 | presentation |
| A UVM Based Methodology for Processor Verification | Abhineet Bhojak, Tejbal Prasad | 2015 | Presentation | | 2015 | presentation |
| A UVM SystemVerilog Testbench for Analog/Mixed-Signal Verification: A Digitally-Programmable Analog Filter Example | Charles Dančak | 2022 | Paper | | 2022 | paper |
| A UVM Testbench for Analog Verification: A Programmable Filter Example | Charles Dančak | 2022 | Presentation | | 2022 | presentation |
| A UVM-based Approach for Rapidly Verifying Digital Interrupt Structures | Christoph Rumpler, Alexander W. Rath, and Sebastian Simon | 2016 | Presentation | | 2016 | presentation |
| A UVM-based Approach for Rapidly Verifying Digital Interrupt Structures | Christoph Rumpler, Alexander W. Rath, Sebastian Simon, and Heinz Endres | 2016 | Paper | | 2016 | paper |
| A Volterra-Series Model in SystemVerilog/XMODEL for Nonlinear RF Low-Noise Amplifiers | Chan Young Park, Jaeha Kim | 2021 | Paper | | 2021 | paper |
| Absolute GLS Verification An Early Simulation of Design Timing Constraints | Ateet Mishra, Deepak Mahajan, Shiva Belwal | 2015 | Presentation | | 2015 | presentation |
| Abstract Layer for Firmware Access: A Unique Approach for SOC Functional Verification | Gupta Girish Kumar, Rugmini Navia Vishnu, Choudhary Praval, Syed Mobeenuddin | 2021 | Paper | | 2021 | paper |
| Accelerated Coverage Closure by Utilizing Local Structure in the RTL Code | Rhys Buggy, Gokce Sarar, Guillaume Shippee, Han Nuou, Vishal Karna, Tushit Jain | 2021 | Paper | | 2021 | paper |
| Accelerated simulation through design partition and HDL to C++ compilation | Theta Yang | 2017 | Presentation | | 2017 | presentation |
| Accelerated simulation through design partition and HDL to C++ compilation | Theta Yang and Sga Sun | 2017 | Paper | | 2017 | paper |
| Accelerated SOC verification Using UVM Methodology for a Mix-signal Low Power Design | Giuseppe Scata, Ashwini Padoor, Vladimir Milosevic | 2014 | Paper | | 2014 | paper |
| Accelerated SOC Verification Using UVM Methodology for a Mixed-Signal Low Power Design | Giuseppe Scata, Ashwini Padoor, Vladimir Milosevic | 2014 | Presentation | | 2014 | presentation |
| Accelerated, High Quality SoC Memory Map Verification using Formal Techniques | Cletan Sequeira, Rajesh Kedia, Lokesh Babu Pundreeka, and Bijitendra Mittra | 2014 | Paper | | 2014 | paper |
| Accelerated, High Quality SoC Memory Map Verification using Formal Techniques | Cletan Sequeira, Rajesh Kedia, Lokesh Babu Pundreeka, and Bijitendra Mittra | 2014 | Presentation | | 2014 | presentation |
| Accelerating and Improving FPGA Design Reviews Using Analysis Tools | Anna Tseng, Kurt Takara and Abdelouahab Ayari | 2020 | Paper | | 2020 | paper |
| Accelerating and Improving FPGA Design Reviews Using Analysis Tools | Abdelouahab Ayari, Anna Tseng, and Kurt Takara | 2020 | Presentation | | 2020 | presentation |
| Accelerating Automotive Ethernet validation by leveraging Synopsys Virtualizer with TraceCompass | Ashish Gandhi, Praveen Kumar Kondugari and Sam Tennent | 2020 | Paper | | 2020 | paper |
| Accelerating Automotive Ethernet validation by leveraging Synopsys Virtualizer with TraceCompass | Ashish Gandhi, Praveen Kumar Kondugari, and Sam Tennent | 2020 | Presentation | | 2020 | presentation |
| Accelerating CDC Verification Closure on Gate-Level Designs | Anwesha Choudhury and Ashish Hari | 2017 | Presentation | | 2017 | presentation |
| Accelerating CDC Verification Closure on Gate-Level Designs | Anwesha Choudhury and Ashish Hari | 2017 | Paper | | 2017 | paper |
| Accelerating Error Handling Verification Of Complex Systems: A Formal Approach | Bhushan Parikh, Peter Graniello, Neha Rajendra | 2022 | Presentation | | 2022 | presentation |
| Accelerating Error Handling Verification of Complex Systems: A Formal Approach | Bhushan Parikh, Peter Graniello, and Neha Rajendra | 2022 | Paper | | 2022 | paper |
| Accelerating Functional Verification Coverage Data Manipulation Using Map Reduce | Eman El Mandouh, A. Gamal, A. Khaled, B. Amr G. Wassal, and Elsayed Hemayed | 2017 | Presentation | | 2017 | presentation |
| Accelerating Functional Verification Coverage Data Manipulation Using Map Reduce | Eman El Mandouh, A. Gamal, A. Khaled, T. Ibrahim, Amr G. Wassal, Elsayed Hemayed | 2017 | Paper | | 2017 | paper |
| Accelerating ML TB Integration for Reusability Using UVM ML OA | Saleem Khan, Prasanna Kumar | 2017 | Presentation | | 2017 | presentation |
| Accelerating Performance, Power and Functional Validation of Computer Vision Use Cases on Next Generation Edge Inferencing Products | Yoga Priya Vadivelu, Arpan Shah, Deepinder Singh Mohoora, Ullas, and Praveen Buddireddy | 2022 | Poster | | 2022 | poster |
| Accelerating Performance, Power and Functional Validation of Computer Vision Use Cases on Next Generation Edge Inferencing Products | Yoga Priya Vadivelu, Arpan Shah, Deepinder Singh Mohoora, Ullas, and Praveen Buddireddy | 2022 | Paper | | 2022 | paper |
| Accelerating RTL Simulation Techniques | Lior Grinzaig | 2015 | Paper | | 2015 | paper |
| Accelerating RTL Simulation Techniques | Lior Grinzaig | 2015 | Presentation | | 2015 | presentation |
| Accelerating Semiconductor Time to ISO 26262 Compliance | Kirankumar Karanam | 2022 | Presentation | | 2022 | presentation |
| Accelerating SoC Verification Signoff using Save & Restart/Dynamic Test Reload Enhanced Regression flow | Vanshlata B, Divya M, Garima S, Seonil Brian Choi | 2021 | Paper | | 2021 | paper |
| Accelerating SOC Verification Using Process Automation and Integration | Seonghee Yim, Hanna Jang, Sunchang Choi, and Seonil Brian Choi | 2020 | Paper | | 2020 | paper |
| Accelerating the IP Design Cycle with Formal Techniques Beyond Everyday FPV | Bhushan Parikh, Shaman Narayana, Buck Lem, David Cassetti | 2021 | Paper | | 2021 | paper |
| Accelerating the SoC Integration Verification Cycle Time Leveraging the Legacy Design Confidence | Abhinav Parashar, Prasanth Kumar Narava | 2022 | Paper | | 2022 | paper |
| Accelerating the SoC Integration Verification Cycle Time Leveraging the Legacy Design Confidence | Abhinav Parashar, Prasanth Kumar Narava | 2022 | Presentation | | 2022 | presentation |
| Acceleration of Coreless SoC Design-Verification using PSS on Configurable Testbench in Multi-Link PCIe Subsystems | Thanu Ganapathy, Pravin Kumar, Garima Srivastava, Seonil Brian Choi, Harish Peta | 2021 | Paper | | 2021 | paper |
| Acceleration of product and test environment development using SystemC-TLM | Florian Barrau, Alexandre Piccini, Alexandre Nabais Moreno, Mark Burton, Luc Michel, Clement Descha | 2018 | Paper | | 2018 | paper |
| Acceleration of product and test environment using SystemC TLM | Florian Barrau, Alexandre Piccini, Alexandre Nabais Mark Burton, Luc Michel, and Clement Deschamps | 2018 | Presentation | | 2018 | presentation |
| Acceleration Startup Design & Verification | Tim Sun, Barry Yin, and Haifeng Jiang | 2021 | Presentation | | 2021 | presentation |
| Accellera Systems Initiative SystemC Standards Update | Bishnupriya Bhattacharya | 2015 | Presentation | | 2015 | presentation |
| Accellera Systems InitiativeSystemC Standards Update | Martin Barnasconi, Philipp A. Hartmann, and Stephan Schulz | 2015 | Presentation | | 2015 | presentation |
| Accellera Systems InitiativeSystemC Standards Update | Martin Barnasconi, Philipp A. Hartmann, Trevor Wieman | 2014 | Presentation | | 2014 | presentation |
| Accellera UVM-AMS Standard Update | Tom Fitzpatrick and Tim Pylant | 2022 | Presentation | | 2022 | presentation |
| Ace’ing the Verification of SOCs with Cache Coherent Heterogeneous Multiprocessors Targeted for Optimized Power Consumption | Mehul Kumar, Tushar Mattu, and Amir Nilipour | 2016 | Paper | | 2016 | paper |
| ACE’ing the Verification of a Coherent System Using UVM | Romondy Luo, Ray Varghese, Parag Goel, Amit Sharma, Satyapriya Acharya, and Peer Mohammed | 2012 | Paper | | 2012 | paper |
| ACE’ing the Verification of a Coherent System Using UVM | Parag Goel; Amit Sharma, Ray Varghese, Romondy Luo, Satyapriya Acharya, Peer Mohammed | 2012 | Presentation | | 2012 | presentation |
| ACE’ing the Verification of SOCs with Cache Coherent Heterogeneous Multiprocessors Targeted for Optimized Power Consumption | Mehul Kumar, Shawn Honess, Amir Nilipour, and Tushar Mattu | 2016 | Poster | | 2016 | poster |
| Achieve Complete SoC Memory Map Verification Through Efficient Combination of Formal and Simulation Techniques | Clemens Roettgermann, Peter Limmer, and Michael Rohleder | 2015 | Paper | | 2015 | paper |
| Achieve Complete SoC Memory Map Verification through Efficient Combination of Formal and Simulation Techniques | Clemens Roettgermann, Peter Limmer, and Michael Rohleder | 2015 | Presentation | | 2015 | presentation |
| Achieve Faster Debug Closure by Applying Big Data & Advanced RCA Technologies | Sundararajan Ananthakrishnan, Sundararajan PH | 2022 | Presentation | | 2022 | presentation |
| Achieving Faster Code Coverage Closure using High-Level Synthesis | Surendhar Thudukuchi Chandrapandiyan, Preetham Lakshmikanthan, Ashwani Aggarwal, Youngchan Lee, Youngsik Kim, Seonil Brian Choi | 2021 | Paper | | 2021 | paper |
| Achieving Faster Reset Verification Closure with Intelligent Reset Domain Crossings Detection | Milanpreet Kaur and Sulabh Kumar Khare | 2020 | Paper | | 2020 | paper |
| Achieving Faster Reset Verification Closure with Intelligent Reset Domain Crossings Detection | Milanpreet Kaur and Sulabh Kumar Khare | 2020 | Poster, Presentation | | 2020 | poster presentation |
| Achieving First-Time Success with a UPF-based Low Power Verification Flow | Kjeld Svendsen, Chuck Seeley, and Erich Marschner | 2011 | Paper | | 2011 | paper |
| Achieving Portable Stimulus with Graph-Based Verification – Tutorial | | 2014 | Presentation | | 2014 | presentation |
| Achieving Real Time Performance for Algorithms Using SOC TLM Model | Saurin Patel, Pushkar Sareen, Sharath Naidu, Baljinder S Sood | 2015 | Presentation | | 2015 | presentation |
| Activity Trend Guided Efficient Approach to Peak Power Estimation Using Emulation | Gaurav Saharawat, Saurabh Jain, and Madhur Bhatia | 2016 | Presentation | | 2016 | presentation |
| Activity Trend Guided Efficient Approach to Peak Power Estimation Using Emulation | Gaurav Saharawat, Saurabh Jain, and Madhur Bhatia | 2016 | Paper | | 2016 | paper |
| Adapting the UVM Register Abstraction Layer for Burst Access | Mark Villalpando | 2016 | Presentation | | 2016 | presentation |
| Adapting the UVM Register Layer for Burst Access | M. P. Villalpando | 2016 | Paper | | 2016 | paper |
| Adaptive Test Generation for Fast Functional Coverage Closure | Azade Nazi, Qijing Huang, Hamid Shojaei, Hodjat Asghari Esfeden, Azalia Mirhoseini, Richard Ho | 2022 | Presentation | | 2022 | presentation |
| Adaptive Test Generation for Fast Functional Coverage Closure | Azade Naziz, Qijing Huang, Hamid Shojaei, Hodjat Asghari Esfeden, Azalia Mirhosseiniz, and Richard Ho | 2022 | Paper | | 2022 | paper |
| Adaptive UVM AMOD Testbench for Configurable DSI IP | Krishnapal Singh, Pavan Yeluri, Ranjith Nair | 2019 | Paper | | 2019 | paper |
| Adding Agility to Hardware Design-Verification using UVM & Assertions | Francois Cerisier, Ajeetha Kumari, Gurubasappa, Srujana Reddy | 2017 | Presentation | | 2017 | presentation |
| Addressing Asynchronous FIFO Verification Challenge | Anchal Gupta, Ashish Hari and Sulabh Kumar Khare | 2019 | Presentation | | 2019 | presentation |
| Addressing Asynchronous FIFO Verification Challenge | Anchal Gupta, Ashish Hari, Sulabh Kumar Khare | 2018 | Presentation | | 2018 | presentation |
| Addressing Challenges in Verification of DSP based Audio IPs using a Novel Hybrid-TestBench Architecture | Suvadeep Bose, Kanak Singh Rajput, Parag S Lonkar, Somasunder K Sreenath | 2021 | Paper | | 2021 | paper |
| Addressing HW/SW Interface Quality through Standards | David Murray and Sean Boyan | 2012 | Paper | | 2012 | paper |
| Addressing Renewed Gate Level Simulation Needs for 10nm-28nm and Below | Gagandeep Singh | 2016 | Paper | | 2016 | paper |
| Addressing the Challenges of ABV in Complex SOCs | Rithin A N, Arif M, Rupinjeet Singh, Jeevan | 2015 | Poster | | 2015 | poster |
| Addressing the Challenges of Generically Specifying Power Intent with Multi-Rail Macros | Brandon S. Skaggs | 2020 | Paper | | 2020 | paper |
| Addressing the Challenges of Generically Specifying Power Intent with Multi-Rail Macros | Brandon Skaggs | 2020 | Poster | | 2020 | poster |
| Addressing the Challenges of Reset Verification in SoC Designs | Chris Kwok, Priya Viswanathan, and Ping Yeung | 2015 | Paper | | 2015 | paper |
| Addressing the Challenges of Reset Verification in SoC Designs | Chris Kwok, Priya Viswanathan, and Ping Yeung | 2015 | Presentation | | 2015 | presentation |
| Addressing the Complex Challenges in Low-Power Design and Verification | Madhur Bhargava, Durgesh Prasad, Jitesh Bansal, and Gabriel Chidolue | 2016 | Presentation | | 2016 | presentation |
| Addressing the Complex Challenges in Low-Power Design and Verification | Madhur Bhargava, Durgesh Prasad, and Jitesh Bansal | 2016 | Paper | | 2016 | paper |
| Addressing the verification challenge of SERDES-based FPGAs: The performance/accuracy/efficiency trade-off | Chris Schalick | 2011 | Paper | | 2011 | paper |
| Adopting Accellera’s Portable Stimulus Standard: Early Development and Validation using Virtual Prototyping | Simranjit Singh, Ashwani Aggarwal, Harshita Prabha, Vishnu Ramadas, Seonil Brian Choi, Woojoo Space Kim | 2021 | Paper | | 2021 | paper |
| Adopting UVM for FPGA Verification | Kamalesh Vikramasimhan, Shridevi Biradar | 2017 | Presentation | | 2017 | presentation |
| Adopting UVM for safety Verification requirements | Srinivasan Venkatarmanan, Hema Kiran, and Satinder Paul Singh | 2017 | Paper | | 2017 | paper |
| Adopting UVM for safety Verification requirements | Srinivasan Venkatarmanan, Hemakiran Kolli, Gurubasappa Kinagi, and Satinder Paul Singh | 2017 | Presentation | | 2017 | presentation |
| Advance Approach for Formal Verification of Configurable Pulse Width Modulation Controller | Sumit K. Kulshreshtha, Raghavendra J N | 2021 | Paper | | 2021 | paper |
| Advance your Design and Verification Flow Using IP XACT | Edwin Dankert, Maximilian Albrecht and Vincent Thibaut | 2019 | Presentation | | 2019 | presentation |
| Advanced Digital-Centric Mixed-Signal Methodology | Michael Kontz, David Lacey, and Peter Maroni | 2015 | Presentation | | 2015 | presentation |
| Advanced Digital-Centric Mixed-Signal Methodology | Michael Kontz, David Lacey, and Peter Maroni | 2015 | Paper | | 2015 | paper |
| Advanced Functional Verification for Automotive System on a Chip | Jaein Hong, Jieun Jeong , Namyoung Kim, Hongkyu Kim, Sungcheol Park, | 2022 | Presentation | | 2022 | presentation |
| Advanced Functional Verification for Automotive System on a Chip | Jaein Hong, Jieun Jeong, Namyoung Kim, Hongkyu Kim, and Sungcheol Park | 2022 | Paper | | 2022 | paper |
| Advanced Functional Verification Methodology Using UVM for complex DSP Algorithms in Mixed Signal RF SoCs | Srinivas Aluri and Jaimin Mehta | 2014 | Paper | | 2014 | paper |
| Advanced Functional Verification Methodology Using UVM For Complex DSP Algorithms In Mixed Signal RF SoCs | Srinivas Aluri and Jaimin Mehta | 2014 | Presentation | | 2014 | presentation |
| Advanced SOC Randomization Tool for Complex SOC Level Verification | Marvin Mei, Chris Weller, Michael Sedmak, and Zhiqiang Ren | 2020 | Paper | | 2020 | paper |
| Advanced Techniques for ARM L2 Cache Verification in an Accelerated Hardware and Software environment | Rob Pelt and Jay O’Donnell | 2012 | Paper | | 2012 | paper |
| Advanced Techniques for AXI Fabric Verification in a Software/Hardware OVM Environment | Galen Blake and Steve Chappell | 2012 | Paper | | 2012 | paper |
| Advanced Techniques to Accomplish Power Aware CDC Verification | Rohit K Sinha, Ashish Hari and Sulabh Kumar Khare | 2018 | Paper | | 2018 | paper |
| Advanced Testbench Configuration with Resources | Mark Glasser | 2011 | Paper | | 2011 | paper |
| Advanced Usage Models for Continuous Integration in Verification Environments | John Dickol | 2015 | Paper | | 2015 | paper |
| Advanced Usage Models for Continuous Integration in Verification Environments | John Dickol | 2015 | Presentation | | 2015 | presentation |
| Advanced UVM Coding Techniques | David Long | 2016 | Presentation | | 2016 | presentation |
| Advanced UVM Command Line Processor | Siddharth Krishna Kumar | 2022 | Presentation | | 2022 | presentation |
| Advanced UVM Command Line Processor for Central Maintenance and Randomization of Control Knobs | Siddharth Krishna Kumar | 2022 | Paper | | 2022 | paper |
| Advanced UVM in the real world ‐ Tutorial | Mark Litterick, Jason Sprott, Jonathan Bromley, and Vanessa Cooper | 2014 | Presentation | | 2014 | presentation |
| Advanced UVM Register Modeling | Mark Litterick and Marcus Harnisch | 2014 | Paper | | 2014 | paper |
| Advanced UVM Register Modeling | Mark Litterick | 2014 | Presentation | | 2014 | presentation |
| Advanced UVM Tutorial Taking Reuse to the Next Level | Mark Litterick, Jason Sprott, and Jonathan Bromley | 2015 | Presentation | | 2015 | presentation |
| Advanced UVM, Multi-Interface, Reactive Stimulus Techniques | Clifford E. Cummings, Stephen DOnofrio, Jeff Wilcox, Heath Chambers | 2021 | Paper | | 2021 | paper |
| Advanced, High Throughput Debug From Design to Silicon | Gordon Allan & Michael Horn | 2015 | Presentation | | 2015 | presentation |
| Advancements in UVM Test Bench Architecture for Verifying High Speed MIPI MPHY 5.0 IP | Eldhose P.M, Sagar Jayakrishnan, Suraj Vijay Shetty, Kuntal Pandya, Parag S. Lonkar | 2022 | Paper | | 2022 | paper |
| Advancements in UVM Test Bench Architecture for Verifying High Speed MIPI MPHY 5.0 IP | Eldhose P.M, Sagar Jayakrishnan, Suraj Vijay Shetty, Kuntal Pandya, Parag S. Lonkar | 2022 | Presentation | | 2022 | presentation |
| Advances in RF Transceiver SoC Verification: A Walk-Through over a 2.4 GHz Multi-Modal Integrated Transceiver Verification Cycle | Charul Agrawal, Ashwin Vijayan, and Jakub Dudek | 2017 | Paper | | 2017 | paper |
| Advances in RF Transceiver SoC Verification: A Walk-Through over a 2.4 GHz Multi-Modal Integrated Transceiver Verification Cycle | Charul Agrawal, Ashwin Vijayan, and Jakub Dudek | 2017 | Presentation | | 2017 | presentation |
| Advancing system-level verification using UVM in SystemC | Martin Barnasconi, François Pêcheux, and Thilo Vörtler | 2014 | Presentation | | 2014 | presentation |
| Advancing system-level verification using UVM in SystemC | Martin Barnasconi, François Pêcheux, and Thilo Vörtler | 2014 | Paper | | 2014 | paper |
| Advancing the SystemC Ecosystem | Philipp A Hartmann, Jerome Cornet, Martin Scnierginger, and Frederic Doucet | 2017 | Presentation | | 2017 | presentation |
| Advancing traceability and consistency in Verification and Validation | Walter Tibboel and Martin Barnasconi | 2014 | Paper | | 2014 | paper |
| Advancing traceability and consistency in Verification and Validation | Walter Tibboel and Martin Barnasconi | 2014 | Poster | | 2014 | poster |
| Advantages of using UVM/System Verilog IEEE standards to Verify Complex Probabilistic Constellation Shaping Design for a Coherent DSP ASIC. | Nipun Bhatt | 2020 | Paper | | 2020 | paper |
| Advantages of using UVM/System Verilog IEEE standards to Verify Complex Probabilistic Constellation Shaping Design for a Coherent DSP ASIC. | Nipun Bhatt | 2020 | Poster | | 2020 | poster |
| Agile and dynamic functional coverage using SQL on the cloud | Filip Dojcinovic and Mihailo Ivanovic | 2019 | Presentation | | 2019 | presentation |
| Agile and dynamic functional coverage using SQL on the cloud | Filip Dojcinovic and Mihailo Ivanovic | 2018 | Presentation | | 2018 | presentation |
| Agnostic UVM-XX Testbench Generation | Jacob Andersen, Stephan Gerth, and Filippo Dughetti | 2016 | Presentation | | 2016 | presentation |
| Agnostic UVM-XX Testbench Generation Replace XX (almost) as you see fit! | Jacob Andersen, Stephan Gerth, and Filippo Dughetti | 2016 | Paper | | 2016 | paper |
| Algorithm Verification with Open Source and System Verilog | Andra Socianu and Daniel Ciupitu | 2014 | Presentation | | 2014 | presentation |
| AMS Verification at SoC Level: A Practical Approach for Using VAMS vs SPICE Views | Nitin Pant, Gautham Harinarayan, Manmohan Rana | 2015 | Presentation | | 2015 | presentation |
| AMS Verification in a UVM Environment | Silvia Strähle | 2016 | Presentation | | 2016 | presentation |
| AMS Verification in a UVM Environment | Silvia Strähle | 2016 | Paper | | 2016 | paper |
| An Analysis of Stimulus Techniques for Efficient Functional Coverage Closure | Caglayan Yalein, Aileen McCabe | 2021 | Paper | | 2021 | paper |
| An Analytical View of Test Results Using CityScapes | Markus Borg, Andreas Brytting, and Daniel Hansson | 2018 | Paper | | 2018 | paper |
| An Analytical View of Test Results Using CityScapes | Markus Borg, Andreas Brytting, and Daniel Hansson | 2018 | Poster | | 2018 | poster |
| An Approach for Faster Compilation of Complex Verification Environment: The USB3.0 Experience | Mahesha Shankarathota, Vybhava S, and Indrajit Dutta | 2013 | Poster | | 2013 | poster |
| An Approach for Faster Compilation of Complex Verification Environment: The USB3.0 Experience | Mahesha Shankarathota, Vybhava S, and Indrajit Dutta | 2013 | Paper | | 2013 | paper |
| An Assertion Based Approach to Implement VHDL Functional Coverage | Susan Eickhoff, Michael DeBole, and Tagbo Ekwueme-Okoli | 2014 | Paper | | 2014 | paper |
| An Assertion Based Approach to Implement VHDL Functional Coverage | Michael Wazlowski, Susan Eickhoff, Michael Debole, and Tagbo Ekwueme-Okoli | 2014 | Presentation | | 2014 | presentation |
| An Automated Formal Verification Flow for Safety Registers | Holger Busch | 2015 | Paper | | 2015 | paper |
| An Automated Formal Verification Flow for Safety Registers | Holger Busch | 2015 | Presentation | | 2015 | presentation |
| An Automated Pre-silicon IP Trustworthiness Assessment for Hardware Assurance | John Hallman, David Landoll, Sergio Marchese, Sven Beyer, Garrett Chan, Salam Zantout and Vikram Rao | 2020 | Paper | | 2020 | paper |
| An Automated Pre-silicon IP Trustworthiness Assessment for Hardware Assurance | J. Hallman, D. Landoll, S. Marchese, S. Beyer, G. Chan, S. Zantout, and V. Rao | 2020 | Poster, Presentation | | 2020 | poster presentation |
| An Automated Systematic CDC Verification Methodology based on SDC Setup | Ashish Hari, Sulabh Kumar Khare | 2014 | Presentation | | 2014 | presentation |
| An Automated Validation Framework for Power Management and Data Retention Logic Kits of Standard Cell Library | Akshay Kamath, Bharath Kumar, Sunil Aggarwal, Subramanian Parameswaran, Parag Lonkar, Debi Prasanna, Somasunder Sreenath | 2021 | Paper | | 2021 | paper |
| An Automatic Visual System Performance Stress Test for TLM Designs | George F. Frazier, Neeti Bhatnagar, and Woody Larue | 2011 | Paper | | 2011 | paper |
| An Easy VE/DUV Integration Approach | Uwe Simm | 2015 | Paper | | 2015 | paper |
| An Easy VE/DUV Integration Approach | Uwe Simm | 2015 | Presentation | | 2015 | presentation |
| An Easy VE/DUV Integration Approach | Uwe Simm | 2015 | Presentation | | 2015 | presentation |
| An Effective Design and Verification Methodology for Digital PLL | Biju Viswanathan, Rajagopal P.C, Ramya Nair S. R, Joseph J Vettickatt, and Jobin Cyriac | 2014 | Paper | | 2014 | paper |
| An Effective Design and Verification Methodology for Digital PLL | Biju Viswanathan, Rajagopal P.C, Ramya Nair S. R, Joseph J Vettickatt, and Jobin Cyriac | 2014 | Poster | | 2014 | poster |
| An efficient analog fault-injection flow harnessing the power of abstraction | Renaud Gillon, Enrico Fraccaroliy, and Franco Fummi | 2019 | Poster | | 2019 | poster |
| An Efficient and Modular Approach for Formally Verifying Cache Implementations | M, Achutha KiranKumar V and Abhijith A Bharadwaj | 2018 | Paper | | 2018 | paper |
| An Efficient and Modular Approach for Formally Verifying Cache implementations | M Achutha KiranKumar V, Abhijith A Bharadwaj, and Bindumadhava S S | 2018 | Presentation | | 2018 | presentation |
| An Efficient Method to Verify Dynamic IP Clock Frequency on SOC Level by Using Auto-generated Active Clock Monitor | Jaecheon Kim, Gyuhong Lee, Yeonho Jeong, Hyunsun Ahn, Daewoo Kim, Seonil Brian Choi | 2021 | Paper | | 2021 | paper |
| An efficient requirements-driven and scenario-driven verification flow | Walter Tibboel, Heino van Orsouw, and Shuang Han | 2017 | Paper | | 2017 | paper |
| An efficient requirements-driven and scenario-driven verification flow | Heino van Orsouw | 2017 | Presentation | | 2017 | presentation |
| An Efficient Verification Framework for Audio/Video Interface Protocols | Noha Shaarawy, Mustafa Khairallah, Khaled Khalifa, Hany Salah, Amr Salah and Maged Ghoneima | 2015 | Paper | | 2015 | paper |
| An Enhanced Stimulus and Checking Mechanism on Cache Verification | Chenghuan Li, Xiaohui Zhao, and Yunyang Song | 2019 | Poster | | 2019 | poster |
| An Equivalent Modeling Approach for High-Density DRAM Array System-Level Design-Space Exploration in SystemVerilog | Seyoung Kim, Jaeha Kim | 2021 | Paper | | 2021 | paper |
| An Experience of Complex Design Validation: How to Make Semiformal Verification Work | Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, and Alexander Nadel | 2010 | Paper | | 2010 | paper |
| An experience to finish code refinement earlier at behavioral level | Dae-Han Youn, Sik Kim, Byeong Min, and Kyu-Myung Choi | 2011 | Paper | | 2011 | paper |
| An Expert System Based Tool for Pre-design Chip Power Estimation | Bhanu Singh, Arunprasath Shankar, Francis Wolff, and Christos Papachristou | 2014 | Paper | | 2014 | paper |
| An Expert System Based Tool for Pre-design Chip Power Estimation | Bhanu Singh, Arunprasath Shankar, Francis Wolff, and Christos Papachristou | 2014 | Presentation | | 2014 | presentation |
| An Industry Proven UVM Reuse Methodology for Coverage Driven Block Level Verification to SW Driven Chip Level Verification Across Simulation & Emulation | Pradeep Salla, Keshav Joshi | 2016 | Presentation | | 2016 | presentation |
| An Innovative Methodology for RTL and Verification IP Sharing Between Two Projects | Albert Xu and Joonyoung Kim | 2013 | Poster | | 2013 | poster |
| An Innovative Methodology for RTL and Verification IP Sharing Between Two Projects | Albert Xu and Joonyoung Kim | 2013 | Paper | | 2013 | paper |
| An Innovative Methodology for Verifying Mixed-Signal Components | Fabian Delguste and Graeme Nunn | 2011 | Paper | | 2011 | paper |
| An Integrated Framework for Power Aware Verification | Harsh Chilwal, Manish Jain, and Bhaskar Pal | 2012 | Paper | | 2012 | paper |
| An Introduction to the Accellera Portable Stimulus Standard | Srivatsa Vasudevan, Pradeep Salla, Sharon Rosenberg, Adnan Hamid, Karthick Gururaj, Srivatsa Vasudevan, Bishnupriya Bhattacharya | 2017 | Presentation | | 2017 | presentation |
| An Introduction to using Event-B for Cyber-Physical System Specification and Design | John Colley and Michael Butler | 2014 | Presentation | | 2014 | presentation |
| An Open and Fast Virtual Platform for TriCore™-based SoCs Using QEMU | Bastian Koppelmann, Bernd Messidat, Markus Becker, and Christoph Kuznik | 2014 | Paper | | 2014 | paper |
| An Open and Fast Virtual Platform for TriCore™-based SoCs Using QEMU | Bastian Koppelmann | 2014 | Poster | | 2014 | poster |
| An open and flexible SystemC to VHDL workflow for rapid prototyping | Bastian Farkas | 2016 | Presentation | | 2016 | presentation |
| An open and flexible SystemC to VHDL workflow for rapid prototyping | Bastian Farkas, Syed Abbas Ali Shah, Jan Wagner, Rolf Meyer, Rainer Buchty, and Mladen Berekovic | 2016 | Paper | | 2016 | paper |
| An Overview of Security Annotation for Electronic Design Integration (SA-EDI) Standard | Sohrab Aftabjahani | 2022 | Presentation | | 2022 | presentation |
| Analog Modelling to Suit Emulation for Hardware-Software Co-Verification | Saranya Das | 2020 | Paper | | 2020 | paper |
| Analog Modelling to Suit Emulation for Hardware-Software Co-Verification | Saranya Das | 2020 | Poster, Presentation | | 2020 | poster presentation |
| Analog Transaction Level Modeling for Verification of Mixed-Signal-Blocks | Alexander W. Rath, Volkan Esen, and Wolfgang Ecker | 2012 | Paper | | 2012 | paper |
| Analog Transaction Level Modeling for Verification of Mixed-Signal-Blocks | Alexander W. Rath | 2012 | Presentation | | 2012 | presentation |
| Analysis of TLM-2.0 and it’s Applicability to Non Memory Mapped Interfaces | Delbergue Guillaume | 2016 | Presentation | | 2016 | presentation |
| Analysis of TLM-2.0 and it’s Applicability to Non Memory Mapped Interfaces | Guillaume Delbergue, Mark Burton, and Bertrand Le Gal and Christophe Jego | 2016 | Paper | | 2016 | paper |
| Apples versus Apples HVL Comparison Finally Arrives Comparing OVM SystemVerilog to OVM e | Brett Lammers and Riccardo Oddone | 2010 | Paper | | 2010 | paper |
| Application Abstraction Layer: The Carpool Lane on the SoC Verification Freeway | Abhisek Verma, Varun S, and Subramanian Kuppusamy | 2015 | Paper | | 2015 | paper |
| Application Abstraction Layer: The Carpool Lane on the SoC Verification Freeway | Abhisek Verma, Varun S, and Subramanian Kuppusamy | 2015 | Presentation | | 2015 | presentation |
| Application of SystemC/SystemC-AMS in 3G Virtual Prototyping | Tao Huang and Stefan Heinen | 2011 | Paper | | 2011 | paper |
| Application Optimized HW/SW Design & Verification of a Machine Learning SoC | Lauro Rizzatti, Russell Klein, Stephen Bailey, and Andrew Meier | 2020 | Presentation | | 2020 | presentation |
| Applying Big Data to Next-Generation Coverage Analysis and Closure | Tom Fitzpatrick, Darron May, Thom Ellis, Athira Panicker and Francisco Chen | 2021 | Presentation | | 2021 | presentation |
| Applying Design Patterns to accelerate development of reusable, configurable and portable UVCs. | | 2015 | Presentation | | 2015 | presentation |
| Applying Design Patterns to Maximize Verification Reuse at Block, Subsystem and System on Chip Level | Paul Kaunds, Revati Bothe and Jesvin Johnson | 2019 | Presentation | | 2019 | presentation |
| Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties | Konstantin Selyunin, Thang Nguyen, Andrei-Daniel Basa, Ezio Bartocci, Dejan Nickovic, and Radu Grosu | 2016 | Presentation | | 2016 | presentation |
| Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties | K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, and R. Grosu | 2016 | Paper | | 2016 | paper |
| Applying Test-Driven Development Methods to Design Verification Software | Doug Gibson and Mike Kontz | 2014 | Presentation | | 2014 | presentation |
| Applying Test-Driven Development Methods to Design Verification Software in UVM-e | Doug Gibson and Mike Kontz | 2014 | Paper | | 2014 | paper |
| Applying Transaction-level Debug and Analysis Techniques to DUT Simulated Activity Using Data- Mining Techniques | Leo Chai, Bindesh Patel, and Jun Zhao | 2014 | Paper | | 2014 | paper |
| Applying Transaction-level Debug and Analysis Techniques to DUT Simulated Activity Using Data-Mining Techniques | Leo Chai, Jun Zhao, and Bindesh Patel | 2014 | Poster | | 2014 | poster |
| ARC EM Core with Safety Package – ISO 26262 Certification | Vikas Bhandari | 2015 | Poster | | 2015 | poster |
| Architecting “Checker IP” for AMBA protocols | Srinivasan Venkataramanan and Ajeetha Kumari | 2017 | Paper | | 2017 | paper |
| Architecting “Checker IP” for AMBA protocols | Ajeetha Kumari and Srinivasan Venkataramanan | 2017 | Presentation | | 2017 | presentation |
| Architectural Evaluation of a Programmable Accelerator for Baseband, Phy and Video Applications using High Level Synthesis | Andy Fox, Tigran Sargsyan, and Steven Anderson | 2014 | Paper | | 2014 | paper |
| Architectural Evaluation Of a Programmable Accelerator For Baseband, Phy and Video Applications Using High Level Synthesis | Andy Fox, Tigran Sargsyan, and Steven Anderson | 2014 | Poster | | 2014 | poster |
| Architectural Formal Verification of System-Level Deadlocks | Mandar Munishwar1, Naveed Zaman, Anshul Jain, HarGovind Singh, and Vigyan Singhal | 2018 | Paper | | 2018 | paper |
| Architectural Formal Verification of System-Level Deadlocks | Mandar Munishwar and Vigyan Singhal | 2018 | Presentation | | 2018 | presentation |
| Architecturally Scalable Testbench for Complex SoC | Senthilnath Subbarayan, Arulanandan Jacob, Sandeep Kumar | 2019 | Paper | | 2019 | paper |
| Are OVM & UVM Macros Evil? A Cost-Benefit Analysis | Adam Erickson | 2011 | Paper | | 2011 | paper |
| Are you really confident that you are getting the very best from your verification resources? | Darron May and Fritz Ferstl | 2014 | Paper | | 2014 | paper |
| Are you really confident that you are getting the very best from your verification resources? | Darron May and Fritz Ferstl | 2014 | Poster | | 2014 | poster |
| Are You Safe Yet? Safety Mechanism Insertion and Validation | Ping Yeung, Jin Hou, Vinayak Desai, and Jacob Wiltgen | 2020 | Paper | | 2020 | paper |
| Are You Safe Yet? Safety Mechanism Insertion and Validation | Ping Yeung, Jin Hou, Vinayak Desai, and Jacob Wiltgen | 2020 | Poster | | 2020 | poster |
| Are You Smarter Than Your Testbench? With a little work you can be. | Rich Edelman and Raghu Ardeishar | 2015 | Paper | | 2015 | paper |
| Are You Smarter Than Your Testbench? With a little work you could be | Rich Edelman and Raghu Ardeishar | 2015 | Poster | | 2015 | poster |
| ASIC-Strength Verification in a Fast-Moving FPGA World | Bryan Murdock | 2013 | Poster | | 2013 | poster |
| ASIC-Strength Verification in a Fast-Moving FPGA World | Bryan Murdock | 2013 | Paper | | 2013 | paper |
| Assertion Based Self-checking of Analog Circuits for Circuit Verification and Model Validation in SPICE and Co-simulation Environments | Lakshmanan Balasubramanian, Pooja Sundar, and Timothy W Fischer | 2011 | Paper | | 2011 | paper |
| Assertion-based Verification for Analog and Mixed Signal Designs | Srinivas Aluri | 2017 | Paper | | 2017 | paper |
| Assertion-based Verification for Analog andMixed Signal Designs | Srinivas Aluri | 2017 | Poster | | 2017 | poster |
| Assisting Fault Injection Simulations for Functional Safety Sign-off using Formal | Pulicharla Ravindrareddy | 2019 | Presentation | | 2019 | presentation |
| Assisting Fault Injection Simulations for Functional Safety Sign-off using Formal | Pulicharla Ravindrareddy | 2019 | Paper | | 2019 | paper |
| Asynchronous Behaviors Meet Their Match with SystemVerilog Assertions | Doug Smith | 2010 | Paper | | 2010 | paper |
| Attack Your SoCPowerChallenges with Virtual Prototyping | Stefan Thiel and Gunnar Braun | 2014 | Presentation | | 2014 | presentation |
| Autocuration: An Implementation of a Continuous Integration System Employed in the Development of AMD’s Next-generation Microprocessor Core | Wei Foong Thoo and David A. Burgoon | 2012 | Presentation | | 2012 | presentation |
| Autocuration: An Implementation of a Continuous Integration System Employed in the Development of AMD’s Next-generation Microprocessor Core | Wei Foong Thoo and David A. Burgoon | 2012 | Paper | | 2012 | paper |
| Automate and Accelerate RISC-V Verification by Compositional Formal Methods | Yean-Ru Chen, Cheng-Ting Kao, Yi-Chun Kao, Tien-Yin Cheng, Chun-Sheng Ke and Chia-Hao Hsu | 2019 | Presentation | | 2019 | presentation |
| Automate and Accelerate RISC-V Verification by Compositional Formal Methods | Yean-Ru Chen, Cheng-Ting Kao, Yi-Chun Kao, Tien-Yin Cheng, Chun-Sheng Ke and Chia-HaoHsu | 2018 | Presentation | | 2018 | presentation |
| Automated approach to Register Design and Verification of complex SOC | Ballori Banerjee, Subashini Rajan, and Silpa Naidu | 2011 | Paper | | 2011 | paper |
| Automated code generation for Early AURIX TM VP | Pratheek Mahesh and Dineshkumar Selvaraj | 2021 | Poster | | 2021 | poster |
| Automated code generation for Early AURIX TM VP | Pratheek Mahesh and Dineshkumar Selvaraj | 2021 | Presentation | | 2021 | presentation |
| Automated Comparison of Analog Behavior in a UVM Environment | Sebastian Simon, Alexander W. Rath, Volkan Esen, and Wolfgang Ecker | 2014 | Paper | | 2014 | paper |
| Automated Comparison of Analog Behavior in a UVM Environment | Sebastian Simon | 2014 | Presentation | | 2014 | presentation |
| Automated Configuration of Verification Environments using Specman Macros DVcon Europe 2018 – Paper number 260-OH22 | Milos Mirosavljevic, Ron Sela, Dejan Janjic and Efrat Shneydor | 2018 | Paper | | 2018 | paper |
| Automated Configuration of Verification Environments using SpecmanMacros | Milos Mirosavljevic, Ron Sela, Dejan Janjic and Efrat Shneydor | 2018 | Presentation | | 2018 | presentation |
| Automated correct-by-construct methodology for RTL design and analog mixed-signal test bench generation: Enables early design closure of mixed-signal SoC | Lakshmanan Balasubramanian, Murugesh Prashanth Subramaniam, Atul Ramakant Lele, and Ranjit Kumar Dash | 2014 | Paper | | 2014 | paper |
| Automated Generation of RAL-based UVM Sequences | Vijayakrishnan Rousseau, Satyajit Sinari, Benjamin Applequist, Timothy McLean, and Geddy Lallathin | 2020 | Paper | | 2020 | paper |
| Automated Generation of RAL-based UVM Sequences | Satyajit Sinari, Timothy McLean, Benjamin Applequist, Vijayakrishnan Rousseau, and Geddy Lallathin | 2020 | Presentation | | 2020 | presentation |
| Automated Performance Verification to Maximize your ARMv8 pulling power | Nick Heaton and Simon Rance | 2015 | Paper | | 2015 | paper |
| Automated Performance Verification to Maximize your ARMv8 pulling power | Nick Heaton and Simon Rance | 2015 | Presentation | | 2015 | presentation |
| Automated Physical Hierarchy Generation: Tools and Methodology | Ali El-Zein, Alvan Ng, Benedikt Geukes, Maya H. Safieddine, and Wolfgang Roesner | 2018 | Paper | | 2018 | paper |
| Automated Physical Hierarchy Generation: Tools and Methodology | Ali El-Zein, Alvan Ng, Benedikt Geukes, Maya H. Safieddine, and Wolfgang Roesner | 2018 | Presentation | | 2018 | presentation |
| Automated RTL Update for Abutted Design | Wonkyung Lee, Ayoung Kwon, Soyeong Kwon, Youngsik Kim, and Seonil Brian Choi | 2020 | Paper | | 2020 | paper |
| Automated RTL Update for Abutted Design | Wonkyung Lee, Ayoung Kwon, Soyeong Kwon, Youngsik Kim, and Seonil Brian Choi | 2020 | Poster | | 2020 | poster |
| Automated Safety Verification for Automotive Microcontrollers | Holger Busch | 2016 | Presentation | | 2016 | presentation |
| Automated Safety Verification for Automotive Microcontrollers | H. Busch | 2016 | Paper | | 2016 | paper |
| Automated Seed Selection Algorithm for an Arbitrary Test Suite | David Crutchfield, Brian Craw, Jim Sharpe, and Brandon Skaggs | 2018 | Paper | | 2018 | paper |
| Automated Seed Selection Algorithm for an Arbitrary Test Suite | David Crutchfield, Brian Craw, Jim Sharpe, and Brandon Skaggs | 2018 | Presentation | | 2018 | presentation |
| Automated Specification Driven Verification by Generation of SystemVerilog Assertions | Ferdinando Pace | 2016 | Poster | | 2016 | poster |
| Automated Specification Driven Verification by Generation of SystemVerilog Assertions | Ferdinando Pace | 2016 | Paper | | 2016 | paper |
| Automated SystemC Model Instantiation with modern C++ Features and sc_vector | Ralph Görgen and Philipp A. Hartmann | 2015 | Paper | | 2015 | paper |
| Automated SystemC Model Instantiation with modern C++ Features and sc_vector | Ralph Görgen, Philipp A. Hartmann, and Wolfgang Nebel | 2015 | Presentation | | 2015 | presentation |
| Automated Test Generation to Verify IP Modified for System Level Power Management | Christophe Lamard and Frederic Dupuis | 2015 | Presentation | | 2015 | presentation |
| Automated Test Generation to Verify IP Modified for System Level Power Management | Christophe Lamard | 2015 | Paper | | 2015 | paper |
| Automated Toggle Coverage Framework for AURIX TM TC4xx Virtual Prototype | S N Ranjan and Puttaiah Jagadish | 2021 | Presentation | | 2021 | presentation |
| Automated Toggle Coverage Framework for AURIX TM TC4xx Virtual Prototype | S N Ranjan and Puttaiah Jagadish | 2021 | Poster | | 2021 | poster |
| Automated Toggle Coverage Framework for AURIX TM TC4xx Virtual Prototype | S N Ranjan and Puttaiah Jagadish | 2021 | Presentation | | 2021 | presentation |
| Automated Toggle Coverage Framework for AURIX TM TC4xx Virtual Prototype | S N Ranjan and Puttaiah Jagadish | 2021 | Poster | | 2021 | poster |
| Automated traceability of requirements in the design and verification process of safety-critical mixed-signal systems | Gabriel Pachiana, Maximilian Grunwald, Thomas Markwirth, Christoph Sohrmann | 2021 | Paper | | 2021 | paper |
| Automated Traffic Simulation Framework for SoC Performance Analysis | Diviya Jain, Tarun Kathuria | 2017 | Presentation | | 2017 | presentation |
| Automated vManager regression using Jenkins | Sneha Gokarakonda | 2022 | Poster | | 2022 | poster |
| Automated, Systematic CDC Verification Methodology Based on SDC Setup | Ashish Hari, Sulabh Kumar Khare | 2014 | Paper | | 2014 | paper |
| Automatic Debug Down to the Line | Daniel Hansson and Patrik Granath | 2017 | Poster | | 2017 | poster |
| Automatic Debug Down to the Line of Code | Daniel Hansson and Patrik Granath | 2017 | Paper | | 2017 | paper |
| Automatic Diagram Creation for Design and Testbenches | Paul O’Keeffe, Jamie Beattie and Gian Lorenzo | 2020 | Paper | | 2020 | paper |
| Automatic Diagram Creation for Design and Testbenches | Paul O’Keeffe, Jamie Beattie, and Gian Lorenzo | 2020 | Poster, Presentation | | 2020 | poster presentation |
| Automatic Exploration of Hardware/Software Partitioning | Syed Abbas Ali Shah, Sven Alexander Horsinka, Basitan Farkas, Rolf Meyer, and Malden Berekovic | 2017 | Paper | | 2017 | paper |
| Automatic Exploration of Hardware/Software Partitioning | Syed Abbas Ali Shah, Sven Alexander Horsinka, Basitan Farkas, Rolf Meyer, and Malden Berekovic | 2017 | Presentation | | 2017 | presentation |
| Automatic Firmware Design for Application-specific Electronic Systems: Opportunities, Challenges and Solutions | Daniel Große, Joscha Benz, Vladimir Herdt, and Martin Dittrich | 2017 | Presentation | | 2017 | presentation |
| Automatic Firmware Verification for Automotive Applications | Torsten Andre and Daniel Valtiner | 2017 | Paper | | 2017 | paper |
| Automatic Firmware Verification for Automotive Applications | Torsten Andre and Daniel Valtiner | 2017 | Presentation | | 2017 | presentation |
| Automatic Generation of Formal Properties for Logic Related to Clock Gating | Shuqing Zhao and Shan Yan | 2015 | Presentation | | 2015 | presentation |
| Automatic Generation of Formal Properties for Logic Related to Clock Gating | Shuqing Zhao and Shan Yan | 2015 | Paper | | 2015 | paper |
| Automatic Generation of Infineon Microcontroller Product Configurations | Prateek Chandra, Leily Zafari, Boyko Traykov | 2019 | Presentation | | 2019 | presentation |
| Automatic Generation of Infineon Microcontroller Product Configurations | Prateek Chandra, Leily Zafari, Boyko Traykov | 2019 | Paper | | 2019 | paper |
| Automatic Investigation of Power Inefficiencies | Kuo Kai Hsieh, Li C. Wang, Wen Chen, Monica Farkash, and Jayanta Bhadra | 2017 | Presentation | | 2017 | presentation |
| Automatic Investigation of Power Inefficiency | Kuo-Kai Hsieh, Wen Chen, Monica Farkash, Jayanta Bhadra, and Li-C. Wang | 2017 | Paper | | 2017 | paper |
| Automatic Netlist Modifications required by Functional Safety | Harald Lüpken, Dirk Hönicke, and Michael Rohleder | 2014 | Paper | | 2014 | paper |
| Automatic Netlist Modifications required by Functional Safety | Harald Lüpken, Dirk Hönicke, and Michael Rohleder | 2014 | Poster | | 2014 | poster |
| Automatic Partitioning for Multi-core HDL Simulation | Gaurav Kumar, Sandeep Pagey, Mohit Sinha, and Manu Chopra | 2015 | Paper | | 2015 | paper |
| Automatic Partitioning for Multi-core HDL Simulation | Gaurav Kumar, Sandeep Pagey, Mohit Sinha, and Manu Chopra | 2015 | Poster | | 2015 | poster |
| Automatic SOC Test Bench Creation | David Crutchfield, Mark Glasser, and Stephen Roe | 2015 | Paper | | 2015 | paper |
| Automatic SOC Test Bench Creation | David Crutchfield, Mark Glasser, and Stephen Roe | 2015 | Presentation | | 2015 | presentation |
| Automatic Testbench Build to Reduce Cycle Time and Forster Reuse | Joachim Geishauser and Alexander Schilling | 2017 | Paper | | 2017 | paper |
| Automatic Testbench Build to Reduce Cycle Time and Foster Reuse | Joachim Geishauser and Alexander Schilling | 2017 | Presentation | | 2017 | presentation |
| Automatic Translation of Natural Language to SystemVerilog Assertions | Abhishek Chauhan | 2022 | Presentation | | 2022 | presentation |
| Automatic Translation of Natural Language to SystemVerilog Assertions | Abhishek Chauhan | 2022 | Paper | | 2022 | paper |
| Automatic verification for Assertion Based Verification: How can a SPIRIT IP-XACT extension help? | Sofiene Mejri and Mirella Negro Marcigaglia | 2010 | Paper | | 2010 | paper |
| Automatically Synthesizing Higher Level of Protocol Abstraction for Faster Debug and Deeper Insight Into Modern Digital Designs | Alasdair Ferro, Amar Patel, Chris Jones, Yogesh Badaya | 2019 | Paper | | 2019 | paper |
| Automating information retrieval from EDA software reports using effective parsing algorithms | Manish Bhati | 2022 | Poster | | 2022 | poster |
| Automating sequence creation from a microarchitecture specification | Subramoni Parameswaran and Ravi Ram | 2016 | Poster | | 2016 | poster |
| Automating sequence creation from a Microarchitecture specification | Subramoni Parameswaran and Ravi Ram | 2016 | Paper | | 2016 | paper |
| Automating the formal verification sign-off flow of configurable digital IP’s | Giovanni Auditore and Giuseppe Falconeri | 2019 | Paper | | 2019 | paper |
| Automating the formal verification sign-off flow of configurable digital IP’s | Giovanni Auditore and Giuseppe Falconeri | 2019 | Presentation | | 2019 | presentation |
| Automation of Power On Reset Assertion | Shang-Wei Tu, Penny Yang, Joydeep Gangopadhyay, and Amol Herlekar | 2015 | Paper | | 2015 | paper |
| Automation of Reusable Protocol-Agnostic Performance Analysis in UVM Environments | D. P. Carrington, A. J. Pippin, and T. Pertuit | 2019 | Paper | | 2019 | paper |
| Automation of Reusable Protocol-Agnostic Performance Analysis in UVM Environments | Daniel Carrington, Alan Pippin, and Timothy Pertuit | 2019 | Presentation | | 2019 | presentation |
| Automation of Waiver and Design Collateral generation for scalable IPs | Gopalakrishnan Sridhar, Vadlamuri Venkata Sateeshm, Midhun Krishna | 2019 | Paper | | 2019 | paper |
| Automation of Waiver and Design Collateral Generation on Scalable IPs | Gopalakrishnan Sridhar, Midhun Krishna, Vadlamuri, Venkata Sateesh | 2019 | Presentation | | 2019 | presentation |
| Avoiding Confounding Configurations an RDC Methodology for Configurable Designs | Eamonn Quigley, Jonathan Niven, and Kurt Takara | 2022 | Poster | | 2022 | poster |
| Avoiding Confounding Configurations An RDC Methodology for Configurable Designs | Eamonn Quigley, Jonathan Niven, and Kurt Takara | 2022 | Paper | | 2022 | paper |
| Back to Basics: Doing Formal “The Right Way” | Joseph Hupcey III, Saumitra Goel | 2017 | Presentation | | 2017 | presentation |
| BatchSolve: A Divide and Conquer Approach to Solving the Memory Ordering Problem | Debarshi Chatterjee, Ismet Bayraktaroglu, Nikhil Sathe, Kavya Shagrithaya, Siddhanth Dhodhi, Spandan Kachhadiya | 2022 | Presentation | | 2022 | presentation |
| BatchSolve: A Divide and Conquer Approach to Solving the Memory Ordering Problem | Debarshi Chatterjee, Ismet Bayraktaroglu, Nikhil Sathe, Kavya Shagrithaya, and Siddhanth Dhodhi | 2022 | Paper | | 2022 | paper |
| Be a Sequence Pro to Avoid Bad Con Sequences | Mark Litterick | 2019 | Presentation | | 2019 | presentation |
| Be a Sequence Pro to Avoid Bad Con Sequences | Jeff Vance, Jeff Montesano, Mark Litterick, and Jason Sprott | 2019 | Presentation | | 2019 | presentation |
| Benefits of PSS coverage at SOC & its limitations | Sundararajan Haran and Saleem Khan | 2019 | Presentation | | 2019 | presentation |
| Benefits of PSS Coverage at SOC and Its Limitations | Sundararajan Haran, Saleem Khan | 2019 | Paper | | 2019 | paper |
| Best Practices in Verification Planning | Benjamin Ehlers, Carmen Vargas, and Paul Carzola | 2013 | Paper | | 2013 | paper |
| Best Practices in Verification Planning | Benjamin Ehlers and Paul Carzola | 2013 | Presentation | | 2013 | presentation |
| Better Living Through Better Class-Based SystemVerilog Debug | Rich Edelman, Raghu Ardeishar, and John Amouroux | 2012 | Paper | | 2012 | paper |
| Better Living Through Better Class-Based SystemVerilog Debug | Rich Edelman, Raghu Ardeishar, and John Amouroux | 2012 | Presentation | | 2012 | presentation |
| Between the Dialog and the Algorithm or Innovative Technological Narratives Leveraging the Idea of Authenticity in a Human Being Visualizing log files enables intuitive comprehension of complex test scenarios | Anna M. Ravitzki and Uri Feigin | 2017 | Paper | | 2017 | paper |
| Beyond UVM: Creating Truly Reusable Protocol Layering | Janick Bergeron, Fabian Delguste, Steve Knoeck, Steve McMaster, Aron Pratt, and Amit Sharma | 2013 | Paper | | 2013 | paper |
| Beyond UVM: Creating Truly Reusable Protocol Layering | Janick Bergeron | 2013 | Presentation | | 2013 | presentation |
| Bi-Directional UVM Agents and Complex Stimulus Generation for UDN and UPF Pins | Chuck McClish | 2021 | Paper | | 2021 | paper |
| Big Data in Verification: Making Your Engineers Smarter | David Lacey, Mike McGrath, Alan Pippin, Ed Powell, Ron Thurgood, and Alex Wilson | 2019 | Paper | | 2019 | paper |
| Big Data in Verification: Making Your Engineers Smarter | David Lacey, Michael McGrath, Alan Pippin, Ed Powell, Ron Thurgood, and Alex Wilson | 2019 | Presentation | | 2019 | presentation |
| Bit density based pre characterization of RAM cells for area critical SOC design | Dilip Kumar Ajay ([email protected]) | 2020 | Presentation | | 2020 | presentation |
| Bit Density-Based Pre-Characterization of RAM Cells for Area Critical SOC Design | Dilip Kumar Ajay | 2020 | Paper | | 2020 | paper |
| Blending multiple metrics from multiple verification engines for improved productivity | Darron May and Darren Galpin | 2012 | Paper | | 2012 | paper |
| Boost Verification Results by Bridging the Hardware/Software Testbench Gap | Matthew Ballance | 2013 | Paper | | 2013 | paper |
| Boost Verification Results by Bridging the Hw/Sw Testbench Gap | Matthew Ballance | 2013 | Presentation | | 2013 | presentation |
| Boosting Debug Productivity Practical Applications of Debug Innovations in a UVM World | Joerg Richter | 2017 | Presentation | | 2017 | presentation |
| Boosting Mixed-Signal Design Productivity with FPGA-Based Methods Throughout the Chip Design Process | Gabriel Rutsch, Simone Fontanesi, Steven G. Herbst, Steven Tan Hee Yeng, Andrea Possemato, Gaetano Formato, Mark Horowitz, and Wolfgang Ecker | 2020 | Paper | | 2020 | paper |
| BOOSTING SIMULATION PERFORMANCE OF UVM REGISTERS IN HIGH PERFORMANCE SYSTEMS | Ahmed Yehia | 2013 | Poster | | 2013 | poster |
| BOOSTING SIMULATION PERFORMANCE OF UVM REGISTERS IN HIGH PERFORMANCE SYSTEMS | Ahmed Yehia | 2013 | Paper | | 2013 | paper |
| Boosting SystemC-based Testbenches with Modern C++ and Coverage-Driven Generation | Hoang M. Le and Rolf Drechsler | 2015 | Paper | | 2015 | paper |
| Boosting SystemC-based Testbenches with Modern C++ and Coverage-Driven Generation | Hoang M. Le and Rolf Drechsler | 2015 | Presentation | | 2015 | presentation |
| Break the SoC with Random UVM Instruction Driver | Bogdan Todea, Pravin Wilfred, Madhukar Mahadevappa, Diana Dranga | 2019 | Paper | | 2019 | paper |
| Bridge the Portable Test and Stimulus to UVM Simulation Environment | Theta Yang and Evean Qin | 2018 | Paper | | 2018 | paper |
| Bridge the Portable Test and Stimulus to UVM Simulation Environment | Theta Yang and Evean Qin | 2018 | Presentation | | 2018 | presentation |
| Bridging the gap between TLM-2.0 AT models and RTL – Experiments and Opportunities | Zhu Zhou, Atul Kwatra, Rajesh Gadiyar, and Paul Heraty | 2010 | Paper | | 2010 | paper |
| Bring IP Verification Closer to SoC Scalable Methods to Bridge the Gap Between IP and SoC Verification | Gaurav Gupta, Tejbal Prasad, Rohit Goyal, Sachin Jain, Vipin Verma | 2014 | Paper | | 2014 | paper |
| Bring IP Verification Closer to SoC Scalable Methods to Bridge the Gap Between IP and SoC Verification | Gaurav Gupta, Tejbal Prasad, Rohit Goyal, Sachin Jain, Vipin Verma | 2014 | Presentation | | 2014 | presentation |
| Bringing Constrained Random into SoC SW-driven Verification | Alberto Allara and Fabio Brognara | 2013 | Paper | | 2013 | paper |
| Bringing Constrained Random into SoC SW-driven Verification | Alberto Allara and Fabio Brognara | 2013 | Presentation | | 2013 | presentation |
| BRINGING CONTINUOUS DOMAIN INTO SYSTEMVERILOG COVERGROUPS | Prabal K Bhattacharya, Swapnajit Chakraborti, Scott Little, Donald O’Riordan, and Vaibhav Bhutani | 2012 | Paper | | 2012 | paper |
| BRINGING CONTINUOUS DOMAIN INTO SYSTEMVERILOG COVERGROUPS | Prabal K Bhattacharya, Swapnajit Chakraborti, Donald O’Riordan, Vaibhav Bhutani, and Scott Little | 2012 | Presentation | | 2012 | presentation |
| Bringing DataPath Formal to Designers’ Footsteps | M, Achutha KiranKumar V, Disha Puri, Shriya Dharade | 2019 | Paper | | 2019 | paper |
| Bringing Regression Systems into the 21st Century | David Crutchfield and Thom Ellis | 2014 | Paper | | 2014 | paper |
| Bringing Regression Systems into the 21st Century | David Crutchfield | 2014 | Poster | | 2014 | poster |
| Bringing Reset Domains and Power Domains together – Confronting issues due to UPF Instrumentation | Inayat Ali, Abdul Moyeen, Manish Bhati, Manjunatha Srinivas | 2021 | Paper | | 2021 | paper |
| Bringing Reset Domains and Power Domains together – Non resettable registers amplifying issues in Power-Aware RDC Verification due to UPF Instrumentation | Manish Bhati, Inayat Ali | 2022 | Presentation | | 2022 | presentation |
| Bringing Reset Domains and Power Domains Together – Set/Reset Flops Augmenting Complexities in Power-Aware RDC Verification. | Manish Bhati, Manjunatha Srinivas, Abdul Moyeen, Inayat Ali | 2021 | Paper | | 2021 | paper |
| Bringing UVM to VHDL | UVVM | 2022 | Presentation | | 2022 | presentation |
| Build Reliable and Efficient Reset Networks with a Comprehensive Reset Domain Crossing Verification Solution | Wanggen Shi, Yuxin You, and Kurt Takara | 2020 | Paper | | 2020 | paper |
| Build Reliable and Efficient Reset Networks with a Comprehensive Reset Domain Crossing Verification Solution | Wanggen Shi, Yuxin You, and Kurt Takara | 2020 | Presentation | | 2020 | presentation |
| Building a coherent ESL design and verification eco-system with SystemC, TLM, UVM-SystemC, and CCI | Martin Barnasconi | 2016 | Paper | | 2016 | paper |
| Building a Comprehensive Hardware Security Methodology | Anders Nordstrom and Jagadish Nayak | 2022 | Presentation | | 2022 | presentation |
| Building And Modelling Reset Aware Testbench For IP Functional Verification | Naishal Shah | 2019 | Paper | | 2019 | paper |
| Building Code Generators for Reuse – Demonstrated by a SystemC Generator | Saad Siddiqui and Ulrich Nageldinger | 2017 | Paper | | 2017 | paper |
| Building Code Generators for Reuse – Demonstrated by a SystemC Generator | Ulrich Nageldinger and Saad Siddiqui | 2017 | Presentation | | 2017 | presentation |
| Building Configurable UVM Testbench for Configurable Design IP (Configurable TB) | Kilaru Vamsikrishna, Sushrut B Veerapur | 2022 | Presentation | | 2022 | presentation |
| Building Portable Stimulus Into Your IP-XACT Flow | Petri Karppa, Lauri Matilainen, and Matthew Balance | 2018 | Paper | | 2018 | paper |
| Building Portable Stimulus Into your IP-XACT Flow | Petri Karppa, Lauri Matilainen, and Matthew Ballance | 2018 | Presentation | | 2018 | presentation |
| Building Smart SoCs Using Virtual Prototyping for the Design and SoC Integration of Deep Learning Accelerators | Holger Keding | 2019 | Presentation | | 2019 | presentation |
| Building UVM Testbenches for High Quality Serial Design IPs Modelling real world scenarios | Kilaru Vamsikrishna, Sushrut B Veerapur | 2022 | Poster | | 2022 | poster |
| C through UVM: Effectively using C based models with UVM based Verification IP | Adiel Khan, Chris Spear, Kevork Dikramanjian, Abhisek Verma, and Senay Haile | 2013 | Presentation | | 2013 | presentation |
| C through UVM: Effectively using C based models with UVM based Verification IP | Chris Spear, Kevork Dikramanjian, Abhisek Verma, and Senay Haile | 2013 | Paper | | 2013 | paper |
| Caching Tool Run Results in Large Scale RTL Development Projects | Ashfaq Khan | 2022 | Presentation | | 2022 | presentation |
| Caching Tool Run Results in Large-Scale RTL Development Projects | Ashfaq Khan | 2022 | Paper | | 2022 | paper |
| Cadence vManager Platform and Virtuoso ADE Verifier Leading-edge technologies provide methodology for mixedsignal verification closure | Kawe Fotouhi and Walter Hartong | 2019 | Presentation | | 2019 | presentation |
| Calling All Checkers: Collaboratively Utilizing SVA In UVM Based Simulation | Hui K. Zhang | 2016 | Paper | | 2016 | paper |
| Calling All Checkers: Collaboratively Utilizing SVA in UVM Based Simulation | Hui C. K. Zhang | 2016 | Poster | | 2016 | poster |
| CAMEL – A Flexible Cache Model for Cache Verification | Yue Liu, Fang Liu, Yunyang Song | 2022 | Presentation | | 2022 | presentation |
| CAMEL: A Flexible Cache Model for Cache Verification | Yue Liu, Fang Liu, and Yunyang Song | 2022 | Paper | | 2022 | paper |
| Can Formal Outsmart Synthesis: Improving Synthesis Quality of Results through Formal Methods | Eldon Nelson | 2021 | Paper | | 2021 | paper |
| Can My Synthesis Compiler Do That? | Stuart Sutherland and Don Mills | 2014 | Presentation | | 2014 | presentation |
| Can My Synthesis Compiler Do That? | Stuart Sutherland and Don Mills | 2014 | Paper | | 2014 | paper |
| Can You Even Debug a 200M+ Gate Design? | Horace Chan, Brian Vandegriend, Deepali Joshi, and Corey Goss | 2013 | Poster | | 2013 | poster |
| Can You Even Debug a 200M+ Gate Design? | Horace Chan, Brian Vandegriend, Deepali Joshi, and Corey Goss | 2013 | Paper | | 2013 | paper |
| Case Study of Verification Planning to Coverage Closure @Block, Subsystem and System on Chip Level | Paul Kaunds, Revati Bothe, and Jesvin Johnson | 2018 | Presentation | | 2018 | presentation |
| Case Study: Low-Power Verification Success Depends on Positive Pessimism | John Decker | 2011 | Paper | | 2011 | paper |
| Case Study: Power-aware IP and Mixed-Signal Veri | Luke Lang | 2011 | Paper | | 2011 | paper |
| Case Study: Successes and Challenges of Validation Content Reuse | Mike Chin, Jonathan Edwards, Josh Pfrimmer, and Hooi Jing Tan | 2022 | Paper | | 2022 | paper |
| Case-study: Generating A Workload Model of the Chrome Browser from Android Execution Traces For Early Analysis of Power and Performance Trade-offs | Vikrant Kapila, Tim Kogel, Holger Keding, Amit Tara Amit Dudeja, Nishant Gautam | 2017 | Presentation | | 2017 | presentation |
| Catching the low hanging fruits on intel® Graphics Designs | M, Achutha KiranKumar V, Aarti Gupta, Bindumadhava S S, Savitha Manojna, and Abhijith A Bharadwaj | 2016 | Paper | | 2016 | paper |
| Centralized Regression Optimisation Toolkit (CROT) for expediting Regression Closure With Simulator Performance Optimisation | Harshal Kothari, Pavan M, Ajay Vamshi Krishna, Eldin Ben Jacob, Sriram Kazhiyur Sounderrajan, Somasunder Kattepura Sreenath | 2021 | Paper | | 2021 | paper |
| Challenges and Mitigations of Porting a UVM Testbench from Simulation to Transaction-Based Acceleration (Co-Emulation) | Vikas Billa and Sundar Haran | 2018 | Paper | | 2018 | paper |
| Challenges and Mitigations of Porting a UVM Testbench from Simulation to Transaction-Based Acceleration (Co-Emulation) | Vikas Billa and Sundar Haran | 2018 | Presentation | | 2018 | presentation |
| Challenges in Mixed Signal Verification | Amlan Chakrabarti, Sachin-Sudhakar Kulkarni | 2015 | Presentation | | 2015 | presentation |
| Challenges in UVM + Python Random Verification Environment for Digital Signal Processing Datapath Design | Shabbar Vejlani and Ashok Chandran | 2016 | Presentation | | 2016 | presentation |
| Challenges in UVM + Python random verification environment for Digital Signal Processing datapath design. | Shabbar Vejlani and Ashok Chandran | 2016 | Paper | | 2016 | paper |
| Challenges of Formal Verification on Deep Learning Hardware Accelerator | Yellinidi Dasarathanaidu | 2019 | Presentation | | 2019 | presentation |
| Challenges of Formal Verification on Deep Learning Hardware Accelerator | Yellinidi Dasarathanaidu | 2019 | Paper | | 2019 | paper |
| Challenges of VHDL X-propagation Simulations | Karthik Baddam and Piyush Sukhija | 2015 | Paper | | 2015 | paper |
| Challenges of VHDL X-propagation Simulations | Karthik Baddam and Piyush Sukhija | 2015 | Presentation | | 2015 | presentation |
| Challenges with Power Aware Simulation and Verification Methodologies | Divyeshkumar Vora | 2015 | Presentation | | 2015 | presentation |
| Challenges, Complexities and Advanced Verification Techniques in Stress Testing of Elastic Buffer in High Speed SERDES IPs | Kamesh Velmail, Suvadeep Bose, Ankit Garg, Parag S Lonkar, Somasunder K Sreenath | 2019 | Presentation | | 2019 | presentation |
| Challenges, Complexities and Advanced Verification Techniques in Stress Testing of Elastic Buffer in High Speed SERDES IPs | Kamesh Velmail, Suvadeep Bose, Parag Lonkar, Ankit Garg | 2019 | Paper | | 2019 | paper |
| Channel Modelling in Complex Serial IPs | Jayesh Ranjan Majhi, Saravana Balakrishnan, Navnit Kumar Kashyap | 2022 | Poster | | 2022 | poster |
| Channel Modelling in Complex Serial IPs | Jayesh Ranjan Majhi, Saravana Balakrishnan, Navnit Kumar Kashyap | 2022 | Paper | | 2022 | paper |
| Characterizing RF Wireless Receivers Performance in UVM Environment | Salwa Elqassas, Salwa Elqassas and Mohammed T. Abdel-Hafe | 2018 | Paper | | 2018 | paper |
| Checking Security Path with Formal Verification Tool: New Application Development | Julia Dushina and Joerg Mueller | 2014 | Poster | | 2014 | poster |
| Checking security path with formal verification tool: new application development | Julia Dushina, Saumil Shah, Joerg Mueller, and Vincent Reynolds | 2014 | Paper | | 2014 | paper |
| Chef’s Special – an Efficient Verification Recipe for Maximizing Productivity While Using a Third Party Verification IP | Varun S and Bhavik Vyas | 2012 | Paper | | 2012 | paper |
| Chiplevel Analog Regressions in Production | Yi Wang | 2021 | Paper | | 2021 | paper |
| Choice is Yours: Either Struggle to Tame ‘X’ in the Wilderness of Multimillion Gates and Nets, OR Take it for a Walk in the RTL Park | Nitin Jaiswal, Harsh Garg, Mayank Bindal | 2014 | Presentation | | 2014 | presentation |
| Cleaning Out Your Pipes – Pipeline Debug in UVM Testbenches | Rich Edelman and Neil Bulman | 2018 | Paper | | 2018 | paper |
| Cleaning Out Your Pipes – Pipeline Debug in UVM Testbenches | Rich Edelman and Neil Bulman | 2018 | Poster | | 2018 | poster |
| Clock Controller Unit Design Metrics: Area, Power, Software Flexibility and Congestion Impacts at System Level | Michele Chilla and Leonardo Gobbi | 2020 | Paper | | 2020 | paper |
| CLOCK DOMAIN CROSSING CHALLENGES IN LATCH BASED DESIGNS | Madan Das, PhD, Chris Kwok, and Kurt Takara | 2018 | Paper | | 2018 | paper |
| Clock Domain Crossing Challenges in Latch Based Designs | Madan Das, Chris Kwok, and Kurt Takara | 2018 | Presentation | | 2018 | presentation |
| Clock Domain Crossing Verification in Transistor-level Design | Hyungjung Seo, KwangSun Kim, YoungRok Choi, Jihwan Kim, and Jong-Bae Lee | 2019 | Poster | | 2019 | poster |
| Closing Functional and Structural Coverage on RTL Generated by High-Level Synthesis | Bryan Bowyer | 2015 | Poster | | 2015 | poster |
| Closing Functional and Structural Coverage on RTL Generated by High-Level Synthesis | B. Bowyer | 2015 | Paper | | 2015 | paper |
| Closing the loop from requirements management to verification execution for automotive applications | Walter Tibboel and Jan Vink | 2015 | Paper | | 2015 | paper |
| Closing the loop from requirements management to verification execution for automotive applications | Walter Tibboel and Jan Vink | 2015 | Presentation | | 2015 | presentation |
| Clustering and Classification of UVM Test Failures Using Machine Learning Techniques | Andy Troung, Daniel Hellström, Harry Duque, and Lars Viklund | 2018 | Presentation | | 2018 | presentation |
| Clustering and Classification of UVM Test Failures Using Machine Learning Techniques | Andy Truong, Daniel Hellström, Harry Duque, and Lars Viklund | 2018 | Paper | | 2018 | paper |
| Co-Developing Firmware and IP with PSS | M. Ballance | 2022 | Paper | | 2022 | paper |
| Co-Developing IP and SoC Bring-Up Firmware with PSS | Matthew Ballance, Siemens EDA | 2022 | Presentation | | 2022 | presentation |
| Co-Simulating Matlab/Simulink Models in a UVM Environment | Neal Okumura and Glenn Richards | 2015 | Paper | | 2015 | paper |
| Co-Simulating Matlab/Simulink Models in a UVM Environment | Neal Okumura, Paul Yue, and Glenn Richards | 2015 | Presentation | | 2015 | presentation |
| Coding Guidelines and Code Generation | John Aynsley and Dr. Christoph Sühnel | 2014 | Poster | | 2014 | poster |
| Coherency Verification & Deadlock Detection Using Perspec/Portable Stimulus | Moonki Jang and Phu Huynh | 2019 | Presentation | | 2019 | presentation |
| Coherency Verification & Deadlock Detection Using Perspec/Portable Stimulus | Moonki Jang, Jiwoong Kim, Hyerim Chung, Phu L. Huynh, and Shai Fuss | 2019 | Paper | | 2019 | paper |
| Combining Simulation with Formal Techniques to Reduce the Overall Verification Cycle | Aneet Agarwal and Gaurav Gupta | 2010 | Paper | | 2010 | paper |
| Combining Static and Dynamic Low Power Verification for the Power-Aware SoC Sign-off | Himanshu Bhatt and Prashanth M | 2014 | Paper | | 2014 | paper |
| Combining Static and Dynamic Low Power Verification for the Power-Aware SoC Sign-off | Himanshu Bhatt, Prashanth M, and Adiel Khan | 2014 | Presentation | | 2014 | presentation |
| Command Line Debug Using UVM Sequences | Mark Peryer | 2011 | Paper | | 2011 | paper |
| Common Challenges and Solutions to Integrating a UVM Testbench | Frank Verhoorn and Mike Baird | 2018 | Presentation | | 2018 | presentation |
| Common Challenges and Solutions to Integrating a UVM Testbench in Place of a Legacy Monolithic Testing Environment | Frank Verhoorn and Michael Baird | 2018 | Paper | | 2018 | paper |
| Comparison of TLM2-Quantum Keeping and TLM+-Resource Modeling with regard to Timing in Virtual Prototypes | Wolfgang Ecker, Volkan Esen, Rainer Findenigy, Thomas Leitnerz and Michael Velten | 2011 | Paper | | 2011 | paper |
| Complementing EDA with Meta-Modeling and Code Generation | Wolfgang Ecker, Michael Velten, Leily Zafari, and Ajay Goyal | 2014 | Paper | | 2014 | paper |
| Complementing EDA with Meta-Modelling & Code Generation | Wolfgang Ecker, Michael Velten, Leily Zafari, and Ajay Goyal | 2014 | Poster | | 2014 | poster |
| Complementing EDA with Meta-Modelling and Code Generation | Ecker Wolfgang, Michael Velten, Ajay Goyal, and Leily Zafari | 2014 | Presentation | | 2014 | presentation |
| Complementing Verification of Highly Configurable Design with Formal Techniques | Manik Tyagi, Deepak Jindal | 2015 | Poster | | 2015 | poster |
| Complete Formal Verification of a Family of Automotive DSPs | Rafal Baranowski and Marco Trunzer | 2016 | Presentation | | 2016 | presentation |
| Complete Formal Verification of a Family of Automotive DSPs | Rafal Baranowski and Marco Trunzer | 2016 | Paper | | 2016 | paper |
| Complex Low Power Verification Challenges in NextGen SoCs : Taming the Beast! | Abhinav Nawal, Gaurav Jain, and Joachim Geishauser | 2014 | Presentation | | 2014 | presentation |
| Complex Low Power Verification Challenges in NextGen SoCs: Taming the Beast! | Abhinav Nawal and Gaurav Jain | 2014 | Paper | | 2014 | paper |
| Compliance Driven Integrated Circuit Development Based on ISO26262 | Haridas Vilakathara, Manikantan panchapakesan | 2014 | Presentation | | 2014 | presentation |
| Compliance Driven Integrated Circuit Development Based on ISO26262 | Haridas Vilakathara and Manikandan Panchapakesan | 2014 | Paper | | 2014 | paper |
| CompMon: Ensuring Rigorous Protocol Specification and IP Compliance | Robert Adler, Sava Krstic and Erik Seligman | 2011 | Paper | | 2011 | paper |
| Comprehensive AMS Verification using Octave, Real Number Modelling and UVM | John McGrath, Patrick Lynch, and Ali Boumaalif | 2015 | Paper | | 2015 | paper |
| Comprehensive AMS Verification using Octave, Real Number Modelling and UVM | John McGrath, Patrick Lynch, and Ali Boumaalif | 2015 | Presentation | | 2015 | presentation |
| Comprehensive and Automated Static Tool Based Strategies for the Detection and Resolution of Reset Domain Crossings | Yossi Mirsky | 2017 | Presentation | | 2017 | presentation |
| Comprehensive and Automated Static Tool Based Strategies for the Detection and Resolution of Reset Domain Crossings | Yossi Mirsky B.Sc, M.Sc, MBA | 2017 | Paper | | 2017 | paper |
| Comprehensive IP to SoC CDC Verification Using Hybrid Data Model | Anwesha Choudhury and Ashish Hari | 2018 | Poster | | 2018 | poster |
| Comprehensive IP to SoC Clock Domain Crossing Verification Using Hybrid Data Mode | Anwesha Choudhury and Ashish Hari | 2018 | Paper | | 2018 | paper |
| Comprehensive Metrics-Based Methodology to Achieve Low-Power System-on-Chips | Ellie Burns, Gabriel Chidolue, and Guillaume Boillet | 2018 | Presentation | | 2018 | presentation |
| Comprehensive Register Description Languages: The case for standardization of RDLs across design domains | David C Black and Doug Smith | 2012 | Paper | | 2012 | paper |
| Comprehensive Systemverilog-Systemc-Vhdl Mixed-Language Design Methodology | Rudra Mukherjee, Gaurav Kumar Verma, and Sachin Kakkar | 2010 | Paper | | 2010 | paper |
| Computational Logistics for Intelligent System Design | Simon Chang | 2021 | Presentation | | 2021 | presentation |
| Compute Link Express – CXL – CXL Consortium | Narasimha Babu | 2022 | Presentation | | 2022 | presentation |
| Conditional Delays for Negative Limit Timing Checks in Event Driven Simulation | Nadeem Kalil and David Roberts | 2015 | Paper | | 2015 | paper |
| Conditional Delays for Negative Limit Timing Checks in Event Driven Simulation | N. Kalil and D. Roberts | 2015 | Poster | | 2015 | poster |
| Confidently Sign-off Any low-Power Designs without Consequences | Madhur Bhargava, Jitesh Bansal, and Progyna Khondkar | 2022 | Poster | | 2022 | poster |
| Confidently Sign-Off Any Low-Power Designs Without Consequences | Madhur Bharga, Jitesh Bansal and Progyna Khondkar | 2022 | Paper | | 2022 | paper |
| Configurable Testbench (TB) for Configurable Design IP | Kilaru Vamsikrishna, Sushrut B Veerapur | 2022 | Paper | | 2022 | paper |
| Configuration Conundrum: Managing Test Configuration with a Bite Sized Solution | Kevin Vasconcellos, Jeff McNeal | 2021 | Paper | | 2021 | paper |
| Configuration in UVM:The Missing Manual | Mark Glasser | 2014 | Presentation | | 2014 | presentation |
| Configuration in UVM: The Missing Manual | Mark Glasser | 2014 | Paper | | 2014 | paper |
| Configuring Your Resources the UVM Way! | Parag Goel, Amit Sharma, and Rajiv Hasija | 2012 | Paper | | 2012 | paper |
| Configuring Your Resources the UVM Way! | Parag Goel, Amit Sharma, and Rajiv Hasija | 2012 | Presentation | | 2012 | presentation |
| Connecting a Company’s Verification Methodology to Standard Concepts of UVM | Frank Poppen, Marco Trunzer, and Jan‐Hendrik Oetjens | 2014 | Paper | | 2014 | paper |
| Connecting a Company’s Verification Methodology to Standard Concepts of UVM | Frank Poppen, Marco Trunzer, and Jan‐Hendrik Oetjens | 2014 | Presentation | | 2014 | presentation |
| Connecting Enterprise Applications to Metric Driven Verification | Matt Graham | 2014 | Paper | | 2014 | paper |
| Connecting Enterprise Applications to Metric Driven Verification | Matt Graham | 2014 | Presentation | | 2014 | presentation |
| CONNECTING THE DOTS: APPLICATION OF FORMAL VERIFICATION FOR SOC CONNECTIVITY | Bin Ju | 2014 | Paper | | 2014 | paper |
| CONNECTING THE DOTS: APPLICATION OF FORMAL VERIFICATION FOR SOC CONNECTIVITY | Bin Ju | 2014 | Poster | | 2014 | poster |
| Connecting UVM with Mixed-Signal Design | Ivica Ignjić | 2017 | Presentation | | 2017 | presentation |
| CONNECTING UVM WITH MIXED-SIGNAL DESIGN | Ivica Ignjić | 2017 | Paper | | 2017 | paper |
| Connectivity and Beyond | Shahid Ikram, Joseph DErrico, Yasmin Farhan, Jim Ellis, and Tushar Parikh | 2019 | Presentation | | 2019 | presentation |
| Connectivity and Beyond | Shahid Ikram, Joseph DErrico, Yasmin Farhan, Jim Ellis, and Tushar Parikh | 2019 | Paper | | 2019 | paper |
| Conquer the Graphics Legacy: Develop the Customized UVM VIP Embedded a Cycle-based C++ Reference Model | Roman Wang | 2019 | Poster | | 2019 | poster |
| Conscious of Streams Managing Parallel Stimulus | Jeff Wilcox | 2012 | Presentation | | 2012 | presentation |
| Conscious of Streams: Managing Parallel Stimulus | Jeffrey Wilcox and Stephen D’Onofrio | 2012 | Paper | | 2012 | paper |
| Consistent SystemC and VHDL Code Generation from State Charts for Virtual Prototyping and RTL Synthesis | Rainer Findenig, Thomas Leitner, and Wolfgang Ecker | 2011 | Paper | | 2011 | paper |
| CONSTRAINING THE REAL PROBLEM OF FLOATING POINT NUMBER DISTRIBUTION | Martin Fröjd, Adiel Khan, and Jussi Mäkelä | 2014 | Paper | | 2014 | paper |
| CONSTRAINING THE REAL PROBLEM OF FLOATING POINT NUMBER DISTRIBUTION | Jussi Mäkelä, Martin Fröjd, and Adiel Khan | 2014 | Presentation | | 2014 | presentation |
| CONSTRAINING THE REAL PROBLEM OF FLOATING POINT NUMBER DISTRIBUTION | Jussi Mäkelä, Martin Fröjd, and Adiel Khan | 2014 | Presentation | | 2014 | presentation |
| Context-Aware DFM Rule Analysis and Scoring Using Machine Learning | Vikas Tripathi, Valerio Perez, Yongfu Li, Zhao Chuan Lee, I-Lun Tseng, and Jonathan Ong | 2018 | Paper | | 2018 | paper |
| Context-Aware DFM Rule Analysis and Scoring Using Machine Learning | Vikas Tripathi, Valerio Perez, Yongfu Li, Zhao Chuan Lee, I-Lun Tseng, and Jonathan Ong | 2018 | Poster | | 2018 | poster |
| Conversion of Performance Model to Functional Model | H G Pavan Kumar, Sumail Singh Brar, Ashwani Aggarwal, Seonil Brian Choi, Woojoo Space Kim | 2021 | Paper | | 2021 | paper |
| Coverage Closure – Is it a “Game of Dice” or “Top 10 Tests” or “Automated Closure”? | Aditya Sharma, T. Nagasundaram, M. Nitin Kumar, Nikhita Raj J | 2015 | Presentation | | 2015 | presentation |
| Coverage Data Exchange is no robbery…or is it? | Darron May and Samiran Laha | 2015 | Paper | | 2015 | paper |
| Coverage Data Exchange is no robbery…or is it? | Darron May and Samiran Laha | 2015 | Poster | | 2015 | poster |
| Coverage Driven Distribution of Constrained Random Stimuli | Raz Azaria, Amit Metodi, and Marat Teplitsky | 2015 | Presentation | | 2015 | presentation |
| Coverage Driven Distribution of Constrained Random Stimuli | Marat Teplitsky, Amit Metodi, and Raz Azaria | 2015 | Paper | | 2015 | paper |
| Coverage Driven Signoff with Formal Verification on Power Management IPs | Baosheng Wang and Xiaolin Chen | 2016 | Paper | | 2016 | paper |
| Coverage Driven Signoff with Formal Verification on Power Management IPs | Baosheng Wang and Xiaolin Chen | 2016 | Poster | | 2016 | poster |
| Coverage Driven Verification of an Unmodified DUT within an OVM Testbench | Michael Baird | 2010 | Paper | | 2010 | paper |
| Coverage Models for Formal Verification | Xiushan Feng, Xiaolin Chen, and Abhishek Muchandikar | 2017 | Paper | | 2017 | paper |
| Coverage Models for Formal Verification | Xiushan Feng, Xiaolin Chen, and Abhishek Muchandikar | 2017 | Poster | | 2017 | poster |
| COVERGATE: Coverage Exposed | Rich Edelman | 2020 | Paper | | 2020 | paper |
| COVERGATE: Coverage Exposed | Rich Edelman | 2020 | Poster | | 2020 | poster |
| Covering the Last Mile in SoC-Level Deadlock Verification | Jef Verdonck, Khaled Nsaibia, Sagar Dewangan, HarGovind Singh and Roger Sabbagh | 2019 | Presentation | | 2019 | presentation |
| Covering the Last Mile in SoC-Level Deadlock Verification | Jef Verdonck, Dhruv Gupta, and HarGovind Singh | 2018 | Presentation | | 2018 | presentation |
| CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC | Hoang M. Le and Rolf Drechsler | 2014 | Paper | | 2014 | paper |
| CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC | Hoang M. Le and Rolf Drechsler | 2014 | Presentation | | 2014 | presentation |
| Creating a Complete Low Power Verification Strategy using the Common Power Format and UVM | Robert Meyer and Joel Artmann | 2012 | Paper | | 2012 | paper |
| Creating the Optimal Regression Farm Infrastructure That Meets All Your Team’s Simulation Requirements | David Lacey and Ed Powell | 2018 | Paper | | 2018 | paper |
| Creating the Optimal Regression Farm Infrastructure That Meets All Your Team’s Simulation Requirements | David Lacey and Ed Powell | 2018 | Poster | | 2018 | poster |
| Cross Coverage of Power States | Veeresh Vikram Singh and Awashesh Kumar | 2016 | Paper | | 2016 | paper |
| Cross-Domain Datapath Validation Using Formal Proof Accelerators | Aarti Gupta, S. S. Bindumadhava, M. Achutha KiranKumar V, Liu Jun B | 2014 | Presentation | | 2014 | presentation |
| Customizing UVM Agent Supporting Multi-Layered & TDM Protocols | Amit Pessach | 2019 | Presentation | | 2019 | presentation |
| Customizing UVM Agent Supporting Multi-Layered & TDM Protocols | Amit Pessach | 2018 | Presentation | | 2018 | presentation |
| Data Flow Based Memory IP Creation Infrastructure | Abhilash V Nair, Praveen Buddireddy, Tor Jeremiassen, Rashmi Venkatesh, and Prajakta Bhutada | 2014 | Paper | | 2014 | paper |
| Data path verification on cross domain with formal scoreboard | Liu Jun | 2014 | Paper | | 2014 | paper |
| Data path verification on cross domain with formal scoreboard | Liu Jun | 2014 | Poster | | 2014 | poster |
| Data-Driven Verification: Driving the next wave of productivity improvements | Larry Melling, Chris Komar, Sharon Rosenberg, Michael Young, and Hanan Moller | 2019 | Presentation | | 2019 | presentation |
| DDR Controller IP Evaluation Studies using Trace Based Methodology | Abhilash Nair, Amit Nene, Ritesh Sojitra, Prashant Karandikar and Prajakta Bhutada | 2014 | Paper | | 2014 | paper |
| De-mystifying synchronization between various verification components by employing novel UVM classes | Pushpal Nautiyal and Gaurav Chugh | 2016 | Poster | | 2016 | poster |
| De-mystifying synchronization between various verification components by employing novel UVM classes | Pushpal Nautiyal and Gaurav Chugh | 2016 | Paper | | 2016 | paper |
| Deadlock Verification For Dummies – The Easy Way of Using SVA and Formal | Mark Eslinger, Jeremy Levitt, and Joe Hupcey III | 2020 | Poster | | 2020 | poster |
| Deadlock Verification For Dummies – The Easy Way Using SVA and Formal | Mark Eslinger, Jeremy Levitt, and Joe Hupcey III | 2020 | Paper | | 2020 | paper |
| Dealing with Programmable IP: Where the Rubber Meets the PSS Deployment Road | Karthick Gururaj | 2020 | Presentation | | 2020 | presentation |
| Debug APIs – next wave of innovation in DV space | Srinivasan Venkataramanan and Ajeetha Kumari | 2017 | Poster | | 2017 | poster |
| Debug APIs – next wave of innovation in DV space | Srinivasan Venkataramanan and Ajeetha Kumari | 2017 | Paper | | 2017 | paper |
| Debug Challenges in Low-Power Design and Verification | Durgesh Prasad, Madhur Bhargava, Jitesh Bansal, and Chuck Seeley | 2015 | Paper | | 2015 | paper |
| Debug Challenges in Low-Power Design and Verification | Durgesh Prasad, Madhur Bhargava, Jitesh Bansal, and Chuck Seeley | 2015 | Poster | | 2015 | poster |
| Debug Time Reduction by Automatic Generation of Waiver List Using ML Techniques | Vardhana M, Akshay Jain, Kota Subba Rao Sajja | 2022 | Presentation | | 2022 | presentation |
| Debugging Communicating Systems: The Blame Game – Blurring the Line Between Performance Analysis and Debug | Rich Edelman and Raghu Ardeishar | 2014 | Paper | | 2014 | paper |
| Debugging Functional Coverage Models Get The Most Out of Your Cover Crosses | Mennatallah Amer and Amr Hany | 2018 | Paper | | 2018 | paper |
| Debugging Functional Coverage Models Get The Most Out of Your Cover Crosses | Mennatallah Amer and Amr Hany | 2018 | Presentation | | 2018 | presentation |
| Debugging Linux Kernel Failures on Virtual Platform | Sandeep Jain | 2017 | Presentation | | 2017 | presentation |
| Deep Learning for Design and Verification Engineers | John Aynsley | 2018 | Presentation | | 2018 | presentation |
| Deep Learning for Engineers | John Aynsley | 2019 | Presentation | | 2019 | presentation |
| Deep Predictive Coverage Collection | Rajarshi Roy, Chinmay Duvedi, Saad Godil, and Mark Williams | 2018 | Paper | | 2018 | paper |
| Deep Predictive Coverage Collection | Rajarshi Roy, Chinmay Duvedi, Saad Godil, and Mark Williams | 2018 | Presentation | | 2018 | presentation |
| Defining TLM+ | Wolfgang Ecker, Volkan Esen, Robert Schwencker, and Michael Velten | 2010 | Paper | | 2010 | paper |
| DeltaCov: Automated Stimulus Quality Monitoring System | Nimish Girdhar, Srinivas Badam | 2021 | Paper | | 2021 | paper |
| Democratizing Formal Verification | Tobias Ludwig, Michael Schwarz, Paulius Morkunas, Silvio Santana, Dominik Stoffel, Wolfgang Kunz | 2021 | Paper | | 2021 | paper |
| Demystifying the UVM Configuration Database | Vanessa R. Cooper and Paul Marriott | 2014 | Paper | | 2014 | paper |
| Demystifying the UVM Configuration Database | Vanessa R. Cooper and Paul Marriott | 2014 | Poster | | 2014 | poster |
| Deploying Customized Solution for Graphics Registers with UVM1.2 RAL | Roman Wang, Nigel Wang, Lunping Guo, Robert Liu, and Jia Zhu | 2018 | Paper | | 2018 | paper |
| Deploying Customized Solution for Graphics Registers with UVM1.2 RAL | Roman Wang, Nigel Wang, Lunping Guo, Robert Liu, and Jia Zhu | 2018 | Presentation | | 2018 | presentation |
| Deploying HLS in a DO-254/ED-80 Workflow | Tammy Reeve, Jacob Wiltgen, Byron Brinson, and David Aerne | 2020 | Paper | | 2020 | paper |
| Deploying HLS in a DO-254/ED-80 Workflow | Byron Brinson Jacob Wiltgen, David Aerne and Tammy Reeve | 2020 | Poster, Presentation | | 2020 | poster presentation |
| DEPLOYING PARAMETERIZED INTERFACE WITH UVM | Wayne Yun and Shihua Zhang | 2013 | Poster | | 2013 | poster |
| Deploying Parameterized Interface with UVM | Wayne Yun and Shihua Zhang | 2013 | Paper | | 2013 | paper |
| Design & Verify Virtual Platform with reusable TLM 2.0 | Ankush Kumar | 2015 | Presentation | | 2015 | presentation |
| Design and verification in ARM | Hobson Bullman | 2016 | Presentation | | 2016 | presentation |
| Design and Verification of a Multichip Coherence Protocol | Shahid Ikram, Isam Akkawi, Richard Kessler, Jim Ellis, and David Asher | 2015 | Poster | | 2015 | poster |
| Design and Verification of a Multichip Coherence Protocol | Shahid Ikram, Isam Akkawi, Richard Kessler, Jim Ellis, and David Asher | 2015 | Paper | | 2015 | paper |
| Design and Verification of an Image Processing CPU using UVM | Milos Becvar and Greg Tumbush | 2013 | Paper | | 2013 | paper |
| Design and Verification of an Image Processing CPU Using UVM | Greg Tumbush and Milos Becvar | 2013 | Presentation | | 2013 | presentation |
| Design Guidelines for Formal Verification | Anamaya Sullerey | 2015 | Presentation | | 2015 | presentation |
| Design Guidelines for Formal Verification | Anamaya Sullerey | 2015 | Paper | | 2015 | paper |
| Design Methodology for Highly Cycle Accurate SystemC Models with Better Performance | Simranjit Singh, Prasanth Sasidharan, Sameer Deshpande, and Sandeep Puttappa | 2014 | Paper | | 2014 | paper |
| Design Patterns by Example for SystemVerilog Verification Environments Enabled by SystemVerilog 1800-2012 | Eldon Nelson | 2016 | Presentation | | 2016 | presentation |
| Design Patterns by Example for SystemVerilog Verification Environments Enabled by SystemVerilog 1800-2012 | Eldon Nelson M.S. P.E. | 2016 | Paper | | 2016 | paper |
| Design space exploration of PIM (Processing in Memory) & PNC (Processing Near Memory) based on workload characterization | Amarnath, Judhajit | 2022 | Presentation | | 2022 | presentation |
| Designers Work Less with Quality Formal Equivalence Checking | Orly Cohen, Moran Gordon, Michael Lifshits, Alexander Nadel, and Vadim Ryvchin | 2010 | Paper | | 2010 | paper |
| Designing a PSS Reuse Strategy | Matthew Ballance | 2019 | Presentation | | 2019 | presentation |
| Designing a PSS Reuse Strategy | Matthew Ballance | 2018 | Presentation | | 2018 | presentation |
| Designing A PSS Reuse Strategy | Matthew Ballance | 2019 | Paper | | 2019 | paper |
| Designing Portable UVM Test Benches for Reusable IPs | Xiaoning Zhang, Baosheng Wang, and Terry Li | 2015 | Paper | | 2015 | paper |
| Designing Portable UVM Test Benches for Reusable IPs | XIAONING ZHANG and BAOSHENG WANG | 2015 | Poster | | 2015 | poster |
| Designing PSS Environment Integration for Maximum Reuse | Matthew Ballance | 2020 | Paper | | 2020 | paper |
| Designing PSS Environment Integration for Maximum Reuse | Matthew Ballance | 2020 | Presentation | | 2020 | presentation |
| Designing the Future with Efficiency Guidance to Adopting SystemVerilog for Design! | Axel Scherer and Junette Tan | 2015 | Paper | | 2015 | paper |
| Designing, Verifying and Building an Advanced L2 Cache Sub-System using SystemC | Thomas Tessier, Dr. Hai Lin, Daniel Ringoen, Eileen Hickey, and Steven Anderson | 2012 | Paper | | 2012 | paper |
| Designing, Verifying and Building an Advanced L2 Cache Subsystem using SystemC | Steve Frank, Thomas Tessier, Dr. Hai Lin, Daniel Ringoen, Eileen Hickey, and Steven Anderson | 2012 | Presentation | | 2012 | presentation |
| Detecting Circular Dependencies in Forward Progress Checkers | Saurabh Chaurdia, Arun Khurana, Naveen Kumar, Aditya Chaurasiya, Yogesh Mahajan, Prasenjit Biswas | 2021 | Paper | | 2021 | paper |
| Detecting Harmful Race Conditions in SystemC Models Using Formal Techniques | Sven Beyer and Dominik Strasser | 2015 | Presentation | | 2015 | presentation |
| Detecting Harmful Race Conditions in SystemC Models Using Formal Techniques | Sven Beyer and Dominik Strasser | 2015 | Paper | | 2015 | paper |
| Detection of glitch-prone clock and reset propagation with automated formal analysis | Kaushal Shah, Sulabh Kumar Khare | 2021 | Paper | | 2021 | paper |
| Determining Test Quality through Dynamic Runtime Monitoring of SystemVerilog Assertions | Kelly D. Larson | 2014 | Paper | | 2014 | paper |
| Determining Test Quality through Dynamic Runtime Monitoring of SystemVerilog Assertions | Kelly D. Larson | 2014 | Presentation | | 2014 | presentation |
| Detoxify Your Schedule With A Low-Fat UVM Environment | Nihar Shah | 2016 | Paper | | 2016 | paper |
| Detoxify Your Schedule With A Low-Fat UVM Environment A success story on using self-checking stimulus instead of a scoreboard to reduce development time | | 2016 | Poster | | 2016 | poster |
| Developing & Testing Automotive Software on Multi SoC ECU Architectures using Virtual Prototyping | Sam Tennent | 2018 | Presentation | | 2018 | presentation |
| Developing a Portable Block Testbench and Reusable SOC Verification Scenarios Using IP XACT Based Automation | Taejin Kim, Minjae Kim, Yonghyun Yang, Hyundon Kim, Daewoo Kim, Tae Hee Han, and Seonil Brian Choi | 2020 | Presentation | | 2020 | presentation |
| Developing Dynamic Resource Management System in SoCEmulation | Seonchang Choi, Sangwoo Noh, Seonghee Yim and Seonil Brian Choi | 2019 | Presentation | | 2019 | presentation |
| Developing Dynamic Resource Management System in SoCEmulation | Seonchang Choi and Seonghee Yim | 2018 | Presentation | | 2018 | presentation |
| Development of Flexi Performance Analysis Platform for Multi–SoC Networking Systems | Srinivasan Reddy Devarajan, Anant Raj Gupta, IngoVolkening, Franz Josef Schaefer and Vijay Raj Franklin Paul Rajan William | 2019 | Presentation | | 2019 | presentation |
| Did Power Management Break My CDC Logic? An Integrated Approach to Power Domain and Clock Domain Crossing Verification | Ashish Amonkar, Kurt Takara, and Avinash Agrawal | 2020 | Presentation | | 2020 | presentation |
| Digital mixed-signal low power verification with Unified Power Format (UPF) | Srilakshmi D R and Geeta Krishna Chaitanya Puli | 2021 | Poster | | 2021 | poster |
| Digital mixed-signal low power verification with Unified power format (UPF) | Srilakshmi D R and Geeta Krishna Chaitanya Puli | 2021 | Presentation | | 2021 | presentation |
| Digital Transformation of EDA Environments To Accelerate Semiconductor Innovation | Guru Charan Prasad Jonnalagadda | 2022 | Presentation | | 2022 | presentation |
| Digitizing Mixed Signal Verification | David Brownell and Courtney Schmitt | 2014 | Paper | | 2014 | paper |
| Digitizing Mixed Signal Verification: Digital Verification Techniques Applied to Mixed Signal and Analog Blocks on the LMA Project | David Brownell and Courtney Schmitt | 2014 | Presentation | | 2014 | presentation |
| Disciplined Post Silicon Validation using ML Intelligence | Amaresh Chellapilla, Pandithurai Sangaiyah | 2022 | Presentation | | 2022 | presentation |
| Discovering Deadlocks in a Memory Controller IP | Jef Verdonck, Emrah Armagan, Khaled Nsaibia, Slava Bulach, Pranay Gupta, Anshul Jain, Chirag Agarwal and Roger Sabbagh | 2020 | Paper | | 2020 | paper |
| Discovering Deadlocks in a Memory Controller IP | Jef Verdonck, Emrah Armagan, Khaled Nsaibia, Slava Bulach, Pranay Gupta, Anshul Jain, Chirag Agarwal, and Roger Sabbagh | 2020 | Presentation | | 2020 | presentation |
| Distributed Simulation of UVM Testbench | Theta Yang | 2016 | Poster | | 2016 | poster |
| Distributed Simulation of UVM Testbench | Theta Yang | 2016 | Paper | | 2016 | paper |
| Do You Know What Your Assertions Are up To? A New Approach to Safety Critical Verification | Lee C. Smith | 2016 | Presentation | | 2016 | presentation |
| Do You Know What Your Assertions Are Up To? A New Approach to Safety Critical Verification | Lee C. Smith | 2016 | Paper | | 2016 | paper |
| Do You Verify Your Verification Components? | Josh Rensch and Neil Johnson | 2016 | Poster | | 2016 | poster |
| Does It Pay Off To Add Portable Stimulus Layer On Top Of UVM IP Block Test Bench? | Xia Wu, Jacob Sander Andersen, and Ole Kristoffersen | 2020 | Presentation | | 2020 | presentation |
| Does It Pay Off To Add Portable Stimulus Layer On Top Of UVM IP Block Test Bench? | Xia Wu, Jacob Sander Andersen and Ole Kristoffersen | 2020 | Paper | | 2020 | paper |
| Doing Funny Stuff with the UVM Register Layer: Experiences Using Front Door Sequences, Predictors, and Callbacks | John Aynsley | 2017 | Presentation | | 2017 | presentation |
| Doing Funny Stuff with the UVM Register Layer: Experiences Using Front Door Sequences, Predictors, and Callbacks | John Aynsley | 2017 | Paper | | 2017 | paper |
| Don’t delay catching bugs: Using UVM based architecture to model external board delays | Amit Paunikar, Saurabh Arya, Vikas Makhija, and Shaily Khare | 2018 | Poster | | 2018 | poster |
| Don’t delay catching bugs: Using UVM based architecture to model external board delays | Amit Paunikar, Saurabh Arya, Vikas Makhija, and Shaily Khare | 2018 | Paper | | 2018 | paper |
| Don’t Forget the Protocol! A CDC Protocol Methodology to Avoid Bugs in Silicon | Abdelouahab Ayari, Sukriti Bisht, Sulabh Kumar Khare and Kurt Takara | 2019 | Presentation | | 2019 | presentation |
| Don’t Forget the Protocol! A CDC Protocol Methodology to Avoid Bugs in Silicon | Abdelouahab Ayari, Sukriti Bisht, Sulabh Kumar Khare, and Kurt Takara | 2018 | Presentation | | 2018 | presentation |
| Double the Return from your Property Portfolio: Reuse of Verification Assets from Formal to Simulation | Jonathan Bromley | 2015 | Presentation | | 2015 | presentation |
| Double the Return from your Property Portfolio: Reuse of Verification Assets from Formal to Simulation | Jonathan Bromley | 2015 | Paper | | 2015 | paper |
| DPI Redux. Functionality. Speed. Optimization. | Rich Edelman, Rohit Jain, and Hui Yin | 2017 | Paper | | 2017 | paper |
| DPI Redux. Functionality. Speed. Optimization. | Rich Edelman, Rohit Jain, and Hui Yin | 2017 | Presentation | | 2017 | presentation |
| Driving Analog Stimuli from a UVM Testbench | Satvika Challa, Amlan Chakrabarti | 2015 | Poster | | 2015 | poster |
| DV Methodology to Model Scalable/Reusable Component to Handle IO Delays/Noise/Crosstalk in Multilane DDR PHY IF | Tapas Ranjan Jena, Gowdra Bomanna Chethan, Sriram Kazhiyur Sounderrajan, Somasunder Kattepura Sreenath | 2019 | Paper | | 2019 | paper |
| DVCon EU 2014 Proceedings | | 2014 | Program | | 2014 | program |
| DVCon EU 2015 Proceedings | | 2015 | Program | | 2015 | program |
| DVCon EU 2016 Proceedings | | 2016 | Program | | 2016 | program |
| DVCon EU 2017 Proceedings | | 2017 | Program | | 2017 | program |
| DVCon EU 2018 Proceedings | | 2018 | Program | | 2018 | program |
| DVCon EU 2019 Proceedings | | 2019 | Program | | 2019 | program |
| DVCon EU 2020 Proceedings | | 2020 | Program | | 2020 | program |
| DVCon EU 2020 Proceedings | Accellera Systems Initiative | 2020 | Video | | 2020 | video |
| DVCon EU 2021 Proceedings | | 2021 | Program | | 2021 | program |
| DVCon Europe 2015 Road to self driving cars: View of a semiconductor company | Hans Adlkofer | 2015 | Presentation | | 2015 | presentation |
| DVCon India 2021 Proceedings | Accellera Systems Initiative | 2021 | Video | | 2021 | video |
| DVCon India 2022 Proceedings | | 2022 | Video | | 2022 | video |
| DVCon U.S 2021 Proceedings | | 2021 | Program | | 2021 | program |
| DVCon U.S. 2021 Proceedings | Accellera Systems Initiative | 2021 | Video | | 2021 | video |
| DVCon U.S. 2022 Proceedings | | 2022 | Video | | 2022 | video |
| DVCon US 2022 Proceedings | | 2022 | Program | | 2022 | program |
| DVS Interface Element – A Novel Approach in Multi-Power Domain, Mixed-Signal Design Verification | Vijay Kumar Sankaran, Ji Du, Qingyu Lin, Arumugan A, and Badrinarayan Zanwar | 2016 | Paper | | 2016 | paper |
| DVS Interface Element—A Novel Approach in Multi-Power Domain, Mixed-Signal Design Verification | Shekar Chetput | 2016 | Poster | | 2016 | poster |
| Dynamic and Scalable OVM Stimulus for Accelerated Functional Coverage | Michael J Castle | 2012 | Paper | | 2012 | paper |
| Dynamic Control Over UVM Register Backdoor Hierarchy | Roy Vincent, Unnikrishnan Nath, and Ashok Chandran | 2019 | Poster | | 2019 | poster |
| Dynamic Fault Injection Library Approach for SystemC AMS | Thomas Markwirth, Paul Ehrlich, and Dominik Matter | 2016 | Presentation | | 2016 | presentation |
| Dynamic Fault Injection Library Approach for SystemC AMS | Thomas Markwirth, Paul Ehrlich, and Dominik Matter | 2016 | Paper | | 2016 | paper |
| Dynamic Parameter Configuration of SystemC Models | Shruti Baindur, Simranjit Singh | 2015 | Presentation | | 2015 | presentation |
| Dynamic Power Automation UVM Framework | Raghavendra J N, Gudidevuni Harathi | 2015 | Poster | | 2015 | poster |
| Dynamic Regression Suite Generation Using Coverage-Based Clustering | Shahid Ikram and Jim Ellis | 2017 | Presentation | | 2017 | presentation |
| Dynamic Regression Suite Generation Using Coverage-Based Clustering | Shahid Ikram and Jim Ellis | 2017 | Paper | | 2017 | paper |
| Dynamically Optimized Test Generation Using Machine Learning | Rajarshi Roy, Mukhdeep Singh Benipal, Saad Godil | 2021 | Paper | | 2021 | paper |
| e/eRM to SystemVerilog/UVM: Mind the Gap, But Don’t Miss the Train | Avidan Efody and Michael Horn | 2012 | Paper | | 2012 | paper |
| e/eRM to SystemVerilog/UVM: Mind the Gap, But Don’t Miss the Train | Michael Horn | 2012 | Presentation | | 2012 | presentation |
| Early Design and Validation of an AI Accelerator’s System Level Performance Using an HLS Design Methodology | Wenbo Zheng | 2021 | Presentation | | 2021 | presentation |
| Early Performance Verification of Embedded Inferencing Systems using open source SystemC NVIDIA MatchLib | Herbert Taucher and Russell Klein | 2019 | Presentation | | 2019 | presentation |
| EARLY SOFTWARE DEVELOPMENT AND VERIFICATION METHODOLOGY USING HYBRID EMULATION PLATFORM | Woojoo Kim, Haemin Park, Hyundon Kim, Seonil Brian Choi, and SukWon Kim | 2017 | Paper | | 2017 | paper |
| EASI2L: A Specification Format for Automated Block Interface Generation and Verification | Chintan Kaur, Ravi Narayanaswami, and Richard Ho | 2016 | Paper | | 2016 | paper |
| Easier SystemVerilog with UVM: Taming the Beast | John Aynsley | 2012 | Paper | | 2012 | paper |
| Easier SystemVerilog with UVM: Taming the Beast | John Aynsley | 2012 | Presentation | | 2012 | presentation |
| Easier UVM – Coding Guidelines and Code Generation | John Aynsley and Dr. Christoph Sühnel | 2014 | Paper | | 2014 | paper |
| Easier UVM – Making Verification Methodology More Productive | John Aynsley, David Long | 2014 | Presentation | | 2014 | presentation |
| Easier UVM – Making Verification Methodology More Productive | John Aynsley and David Long | 2014 | Presentation | | 2014 | presentation |
| Easier UVM for Functional Verification by Mainstream Users | John Aynsley | 2011 | Paper | | 2011 | paper |
| Easier UVM: Learning and Using UVM with a Code Generator | John Aynsley, Doulos | 2015 | Presentation | | 2015 | presentation |
| Easy Steps Towards Virtual Prototyping using the SystemVerilog DPI | Dave Rich | 2013 | Paper | | 2013 | paper |
| Easy uvm_config_db use: A simplified and reusable uvm_config_db methodology for environment developers and test writers | Bob Oden | 2015 | Paper | | 2015 | paper |
| Easy uvm_config_db use: A simplified and reusable uvm_config_db methodology for environment developers and test writers | Bob Oden | 2015 | Poster | | 2015 | poster |
| Effective Formal Deadlock Verification Methodologies for Interconnect design | Sachin Kumar, Rajesh C M | 2022 | Presentation | | 2022 | presentation |
| Effects of Abstraction in Stimulus Generation of Layered Protocols within OVM | Josh Rensch and Jesse Prusi | 2010 | Paper | | 2010 | paper |
| Efficacious verification of Loopback and Equalization in PCIe By Using Novel approach | Jaydeep Suvariya, Pinal Patel | 2022 | Presentation | | 2022 | presentation |
| Efficient and Exhaustive Floating Point Verification Using Sequential Equivalence Checking | Travis W. Pouarz and Vaibhav Agrawal | 2017 | Paper | | 2017 | paper |
| Efficient and Exhaustive Floating Point Verification Using Sequential Equivalence Checking | Travis Pouarz and Vaibhav Agrawal | 2017 | Presentation | | 2017 | presentation |
| Efficient and Faster Handling of CDC/RDC Violations | Ashish Kumar Gupta | 2017 | Presentation | | 2017 | presentation |
| Efficient Bug-Hunting Techniques Using Graph-Based Stimulus Models | Nguyen Le and Mike Andrews | 2016 | Presentation | | 2016 | presentation |
| Efficient Bug-Hunting Techniques Using Graph-Based Stimulus Models | Nguyen Le and Mike Andrews | 2016 | Paper | | 2016 | paper |
| Efficient Clock Monitoring System for SoC Clock Verification | Nam Pham Van | 2016 | Presentation | | 2016 | presentation |
| Efficient Clock Monitoring System for SoC Clock Verification | Nam Pham Van, Bernhard Braun, Dirk Moeller, and Clemens Roettgermann | 2016 | Paper | | 2016 | paper |
| Efficient Constrained Random Generation of Address Blocks: A comparative study of simulation speeds | Meenakshy Ramachandran | 2015 | Paper | | 2015 | paper |
| Efficient Constrained Random Generation of Address Blocks: A comparative study of simulation speeds | Meenakshy Ramachandran | 2015 | Poster | | 2015 | poster |
| Efficient distribution of video frames to achieve better throughput | Bhavik Vyas and Suruchi Jain | 2012 | Paper | | 2012 | paper |
| Efficient Exploration of Safety-Relevant Systems Through a Link Between Analysis and Simulation | Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello, and Bogdan-Andrei Tabacaru | 2016 | Presentation | | 2016 | presentation |
| Efficient Exploration of Safety-Relevant Systems Through a Link Between Analysis and Simulation | Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello, and Bogdan-Andrei Tabacaru | 2016 | Paper | | 2016 | paper |
| Efficient Fault Injection Methods for Safety Software Testing Based on Virtual Prototypes: Application to Powertrain ECU | Ons Mbarek, Dineshkumar Selvaraj, and Romero Chica Jose Miguel | 2018 | Paper | | 2018 | paper |
| Efficient Formal strategies to verify the robustness of the design | Sakthivel Ramaiah | 2022 | Paper | | 2022 | paper |
| Efficient Formal strategies to verify the robustness of the design | Sakthivel Ramaiah | 2022 | Presentation | | 2022 | presentation |
| Efficient hierarchical low power verification of custom designs using static and dynamic techniques | Himanshu Bhatt, Archanna Srinivasan, and Chong Lee Kuay | 2019 | Poster | | 2019 | poster |
| Efficient methods for analog mixed signal verification Interface handling methods, trade-offs and guidelines | Lakshmanan Balasubramanian, Shoeb Siddiqui, and Vijay Kumar Sankaran | 2014 | Paper | | 2014 | paper |
| Efficient Methods for Display Power Estimation & Visualization | Srikanth Reddy Rolla and Aakash Modi | 2020 | Poster | | 2020 | poster |
| Efficient Methods for Display Power Estimation and Visualization | Srikanth Reddy Rolla and Aakash Modi | 2020 | Paper | | 2020 | paper |
| Efficient Regression Management with Smart Data Mining Technique | Tejbal Prasad | 2022 | Paper | | 2022 | paper |
| Efficient Regression Management with Smart Data Mining Technique | Tejbal Prasad | 2022 | Presentation | | 2022 | presentation |
| Efficient SCE-MI Usage to Accelerate TBA Performance | Ponnambalam Lakshmanan, Prashantkumar Ravindra, and Rajarathinam Susaimanickam | 2017 | Paper | | 2017 | paper |
| Efficient Simulation Based Verification by Reordering | Chao Ya and Kevin Jones | 2010 | Paper | | 2010 | paper |
| Efficient SoC Level Mixed Signal Frontend Verification using Wreal Models | Anu Marisha, Nayana Prakash, Udit Kumar, Rajesh Tiwari, and Vijay Kumar Birange | 2014 | Paper | | 2014 | paper |
| Efficient SoC Level Mixed Signal Frontend Verification using Wreal Models | Anu Marisha, Nayana Prakash, Udit Kumar, and Rajesh Tiwari | 2014 | Presentation | | 2014 | presentation |
| Efficient Standard Co-Emulation Modeling Interface (SCE-MI) Usage to Accelerate TBA Performance | Ponnambalam Lakshmanan | 2017 | Presentation | | 2017 | presentation |
| Efficient use of Virtual Prototypes in HW/SW Development and Verification | Rocco Jonack and Eyck Jentzsch | 2018 | Presentation | | 2018 | presentation |
| Efficient Verification Framework for Audio/Video Interfaces | Noha Shaarawy | 2015 | Presentation | | 2015 | presentation |
| Efficient Verification of Mixed-Signal SerDes IP Using UVM | Varun R, Vinayak Hegde, Cadence Bangalore | 2017 | Presentation | | 2017 | presentation |
| Effortless, Methodical and Exhaustive Register Verification using what you already have | Aishwarya Sridhar, Pallavi Atha, and David Crutchfield | 2021 | Poster | | 2021 | poster |
| Effortless, Methodical and Exhaustive Register Verification using what you already have. | Aishwarya Sridhar, Pallavi Atha, and David Crutchfield | 2021 | Presentation | | 2021 | presentation |
| Embedded UVM | Puneet Goel | 2017 | Presentation | | 2017 | presentation |
| Embrace Errors! Architecting UVM Testbenches for Dynamic Error Injection & Handling | Sushrut B Veerapur, Kilaru Vamsikrishna | 2022 | Poster | | 2022 | poster |
| Embracing Datapath Verification with Jasper C2RTL App | Vaibhav Mittal, Sourav Roy, Anshul Singhal | 2022 | Presentation | | 2022 | presentation |
| Embracing Formal Verification for Data Path Designs Using Golden Specs | Achutha Kirankumar V, Disha Puri, Bindumadhava S.S | 2017 | Presentation | | 2017 | presentation |
| EMULATION BASED FULL CHIP LEVEL LOW POWER VALIDATION AT PRE-SILICON STAGE | Kyoungmin Park, Jaegeun Song, Hyundon Kim, Seonil Brian Choi, and Suk Won Kim | 2017 | Paper | | 2017 | paper |
| Emulation Based Power and Performance Workloads on ML NPUs | Pragati Mishra, Ritu Suresh, Issac Zacharia, and Jitendra Aggarwal | 2022 | Poster | | 2022 | poster |
| Emulation Based Power and Performance Workloads on ML NPUs | Pragati Mishra, Ritu Suresh, Issac Zacharia, and Jitendra Aggarwal | 2022 | Paper | | 2022 | paper |
| Emulation based Power and Performance Workloads on ML NPUs | Pragati Mishra, Ritu Suresh, Issac P Zacharia, Jitendra Aggarwal | 2021 | Paper | | 2021 | paper |
| Emulation Testbench Optimizations for better Hardware Software Co-Validation | Vijayakrishnan Rousseau, Suresh Balasubramanian, Srikanth Reddy Rolla, and Mohamed Saheel Nandikotkur Hussainsaheb | 2019 | Poster | | 2019 | poster |
| Enabling Digital Mixed-Signal Verification of Loading Effects in Power Regulation using SystemVerilog User-Defined Nettype | Alvaro Caicedo and Sebastian Fritz | 2019 | Presentation | | 2019 | presentation |
| Enabling Digital Mixed-Signal Verification of Loading Effects in Power Regulation using SystemVerilog User-Defined Nettype | Alvaro Caicedo and Sebastian Fritz | 2018 | Presentation | | 2018 | presentation |
| Enabling Energy Aware System Level Design with UPF-Based System Level Power Models | T4A and T4B | 2014 | Presentation | | 2014 | presentation |
| Enabling Exhaustive Reset Verification Enablement: Client PCIE Design Reset Verification Case Study | Rohit Kumar Sinha, Praveen Dornala | 2019 | Presentation | | 2019 | presentation |
| Enabling high quality design sign-off with Jasper structural and auto formal checks | Vishnu Haridas, Mansi Rastogi, Guruprasad Timmapur | 2022 | Paper | | 2022 | paper |
| Enabling high quality design sign-off with structural and auto formal checks | Timmapur, Guruprasad Haridas, Vishnu Rastogi, Mansi | 2022 | Presentation | | 2022 | presentation |
| Enabling Shift-Left through FV Methodologies on Intel® Graphics Designs | M. Achutha KiranKumar V, Aarti Gupta Bindumadhava S S, Aishwarya R | 2015 | Presentation | | 2015 | presentation |
| Enabling Visual Design Verification Analytics – From Prototype Visualizations to an Analytics Tool using the Unity Game Engine | Markus Borg, Andreas Brytting, and Daniel Hansson | 2018 | Paper | | 2018 | paper |
| End to End Formal Verification Strategies for IP Verification | Jacob Ryan Maas, Nirabh Regmi, Ashish Kulkarni, and Krishnan Palaniswami | 2017 | Paper | | 2017 | paper |
| End to End Formal Verification Strategies for IP Verification | Jacob Ryan Maas, Nirabh Regmi, Krishnan Palaniswami, and Ashish Kulkarni | 2017 | Poster | | 2017 | poster |
| Engaging with IEEE through Standards | Sri Chandra, Dennis Brophy | 2022 | Presentation | | 2022 | presentation |
| Engineered SystemVerilog Constraints | Jeremy Ridgeway | 2015 | Presentation | | 2015 | presentation |
| Engineered SystemVerilog Constraints | Jeremy Ridgeway | 2015 | Paper | | 2015 | paper |
| Enhanced Dynamic Hybrid Simulation Framework for Hardware-Software Verification | Victor Besyakov | 2022 | Poster | | 2022 | poster |
| Enhanced Dynamic Hybrid Simulation Framework for Hardware-Software Verification | Victor Besyakov | 2022 | Paper | | 2022 | paper |
| Enhanced LDPC Codec Verification in UVM | Shriharsha Koila, Ganesh Shetti, Prateek Jain, Anand Shirahatti | 2019 | Paper | | 2019 | paper |
| Enhancements of metric driven verification for the ISO26262: Recent advancements better supporting specific verification requirements including functional safety | Michael Rohleder, Clemens Röttgermann, Stephan Rüttiger, John Brennan, Matt Graham, and Riccardo Oddone | 2016 | Paper | | 2016 | paper |
| Enhancing Productivity in Formal Testbench Generation for AHB based IPs | Shubham Goyal, Ishan Patil, Senthilnath Subbarayan, and Sandeep Kumar | 2021 | Poster | | 2021 | poster |
| Enhancing Quality and Coverage of CDC Closure in Intel’s SoC Design | Rohit Kumar Sinha | 2020 | Paper | | 2020 | paper |
| Enhancing Quality and Coverage of CDC Closure in Intel’s SoC Design | Rohit Kumar Sinha | 2020 | Presentation | | 2020 | presentation |
| Enhancing The Effectiveness of a Constrained Random Test Suite Using Supervised Machine Learning Algorithm | Ponnambalam Lakshmanan, Rajarathinam Susaimanickam | 2017 | Presentation | | 2017 | presentation |
| Enriching UVM in SystemC with AMS extensions for randomization and functional coverage* | Thilo Vörtler, Thomas Klotz, Karsten Einwich, Yao Li, Zhi Wang, Marie-Minerve Louërat, Jean-Paul Chaput, François Pêcheux, Ramy Iskander, and Martin Barnasconi | 2014 | Paper | | 2014 | paper |
| Enriching UVM in SystemC with AMS extensions for randomization and functional coverage* | Thilo Vörtler, Thomas Klotz, Karsten Einwich, Yao Li, Zhi Wang, Marie-Minerve Louërat, Jean-Paul Chaput, François Pêcheux, Ramy Iskander, and Martin Barnasconi | 2014 | Presentation | | 2014 | presentation |
| Ensuring Quality of Next Generation Automotive SoC: System’s Approach | Pankaj Singh | 2015 | Presentation | | 2015 | presentation |
| Environment for efficient and reusable SystemC module level verification | Flavia Gontia | 2014 | Paper | | 2014 | paper |
| Environment for efficient and reusable SystemC module level verification | Flavia Gonția | 2014 | Presentation | | 2014 | presentation |
| Equivalence Validation of Analog Behavioral Models | Hardik Parekh, Manish Kumar Karna, Mohit Jain, Atul Pandey, and Sandeep Mittal | 2014 | Paper | | 2014 | paper |
| Equivalence Validation of Analog Behavioral Models | Hardik Parekh, Manish Kumar Karna, Mohit Jain, Atul Pandey, and Sandeep Mittal | 2014 | Poster | | 2014 | poster |
| Equivalence Validation of Analog Behavioral Models | Manish Kumar Karna, Hardik Parekh, Mohit Jain, Atul Pandey, and Sandeep Mittal | 2014 | Poster | | 2014 | poster |
| Eradicating X-bugs and Achieving Higher Design Quality Using Static X-propagation Sign-off | Sanjay Thatte, Andrew Guyler, Nikhil Rahagude, and Savitha Raghunath | 2020 | Presentation | | 2020 | presentation |
| Error Injection in a Subsystem Level Constrained Random UVM Testbench | J. Ridgeway and H. Nguyen | 2018 | Paper | | 2018 | paper |
| Error Injection in a Subsystem Level Constrained Random UVM Testbench | Jeremy Ridgeway and Hoe Nguyen | 2018 | Presentation | | 2018 | presentation |
| Error Injection: When Good Input Goes Bad | Kurt Schwartz and Tim Corcoran | 2017 | Paper | | 2017 | paper |
| Error Injection: When Good Input Goes Bad | Kurt Schwartz and Tim Corcoran | 2017 | Presentation | | 2017 | presentation |
| ESL Design and Modeling with SystemCAMS for Mixed-Signal IoTand Automotive Applications | Karsten Einwich, Martin Barnasconi, Christoph Grimm, and Torsten Mähne | 2017 | Presentation | | 2017 | presentation |
| Essential Adjuncts of Verification Infrastructure | Kunal Panchal, Harshit Mehta | 2017 | Presentation | | 2017 | presentation |
| Estimating Power Dissipation of End-User Application on RTL | Magdy El-Moursy | 2022 | Presentation | | 2022 | presentation |
| Evaluating the Feasibility of a RISC V Core for Real Time Applications Using a Virtual Prototype | J. Santana , G. Pachiana, T. Markwirth, C. Sohrmann, B. Fischer, M. Matschnig | 2022 | Presentation | | 2022 | presentation |
| Evaluating the Feasibility of a RISCV Core for Real-Time Applications Using a Virtual Prototype | Juan Santana, Gabriel Pachiana, Thomas Markwirth, Christoph Sohrmann, Bernhard Fischer, and Martin Matschnig | 2022 | Paper | | 2022 | paper |
| Every Cloud – Post-Silicon Bug Spurs Formal Verification Adoption | Blaine Hsieh, Stewart Li, and Mark Eslinger | 2015 | Presentation | | 2015 | presentation |
| Every Cloud – Post-Silicon Bug Spurs Formal Verification Adoption | Blaine Hsieh, Stewart Li, and Mark Eslinger | 2015 | Paper | | 2015 | paper |
| Evolution of CDC recipe: Learning through real case studies and methodology improvements | Amit Kulkarni, Suhas DS, Deepmala Sachan | 2021 | Paper | | 2021 | paper |
| Evolution of Triage: Real-time Improvements in Debug Productivity | Gordon Allan | 2016 | Paper | | 2016 | paper |
| Exhaustive Equivalence Checking on AMD’s Next-generation Microprocessor Core | Baosheng Wang, Brian McMinn, Borhan Roohipour, Ashok Venkatachar, Arun Chandra, Richard Bartolotti, and Lerzan Celikkanat | 2011 | Paper | | 2011 | paper |
| Exhaustive Latch Flow – Through Verification with Formal Methods | Baosheng Wang, Sean Ater, Baris Piyade, Brian McMinn, and Borhan Roohipour | 2012 | Presentation | | 2012 | presentation |
| Exhaustive Latch Flow-through Verification with Formal Methods | Baosheng Wang, Sean Ater, Baris Piyade, Brian McMinn, and Borhan Roohipour | 2012 | Paper | | 2012 | paper |
| Exhaustive Reset Verification Enablement: Client PCIE Design Reset Verification Case Study | Rohit Kumar Sinha, Praveen Dornala | 2019 | Paper | | 2019 | paper |
| Exhaustive validation of a cache memory controller using Formal Verification to meet performance and timing requirements | Himani Jawa, Nishant Raman, Sini Balakrishnan, Manas Karanjekar | 2022 | Paper | | 2022 | paper |
| Exhaustive validation of a cache memory controller using Formal Verification to meet performance and timing requirements | Himani Jawa, Nishant Raman, Sini Balakrishnan, Manas Karanjekar | 2022 | Presentation | | 2022 | presentation |
| Expedite any Simulation with DMTCP and Save Decades of Computation | Balaji R, Sathish Kumar Sugumaran, Rohan Garg, Jiajun Cao | 2017 | Presentation | | 2017 | presentation |
| Expediting the Code Coverage Closure Using Static Formal Techniques – A Proven Approach at Block and SoC Levels | | 2015 | Presentation | | 2015 | presentation |
| Expediting Verification of Critical SoC Components Using Formal Methods | Nuni Srikanth, Lakshman Easwaran, Maddipatla Shankar Naidu | 2014 | Presentation | | 2014 | presentation |
| Experience of Using Formal Verification for a Complex Memory Subsystem Design | Sujeet Kumar, Vandana Goel, Hrushikesh Vaidya and Ronak Sarikhada | 2020 | Paper | | 2020 | paper |
| Experience of using Formal Verification for a Complex Memory Subsystem Design | Sujeet Kumar,Vandana Goel,Hrushikesh Vaidya, and Ronak Sarikhada | 2020 | Poster, Presentation | | 2020 | poster presentation |
| Experience with OVM-Based Mixed-Signal Verification of the Impedance Calibration Block for a DDR Interface | Harry Wang, Wessam El-Naji, and Kenneth Bakalar | 2012 | Paper | | 2012 | paper |
| Experience with OVM-Based Mixed-Signal Verification of the Impedance Calibration Block for a DDR Interface | Harry Wang, Wessam El-Naji, and Kenneth Bakalar | 2012 | Presentation | | 2012 | presentation |
| Experiences in Migrating a Chip-Level Verification Environment from UVM EA to UVM 1.1 | Ashish Kumar, Dave Stang, Dudyala Sasidhar, S, Manikandan, and Thirumalai Srishan | 2012 | Paper | | 2012 | paper |
| Experiences in Migrating a Chip-Level Verification Environment from UVM-EA to UVM-1.x | Ashish Kumar, S Manikandan, Sasidhar Dudyala, Srishan Thirumalai, and Dave Stang | 2012 | Presentation | | 2012 | presentation |
| Experiencing Checkers for a Cache Controller Design | Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari, and Lisa Piper | 2010 | Paper | | 2010 | paper |
| Exquisite modeling of verification IP: Challenges and Recommendations | Anuradha Tambad, Subashini Rajan, Shivani Upasani, Prashanth Srinivasa, Imran Ali, and Adiel Khan | 2012 | Paper | | 2012 | paper |
| Exquisite Modeling of VIP | Adiel Khan, Anuradha Tambad, Imran Ali, Prashanth Srinivasa, Shivani Upasani, and Subashini Rajan | 2012 | Presentation | | 2012 | presentation |
| Extendable Messaging Techniques for Debugging and Analyzing UVM Testbench Structure and Transaction Flow | Jun Zhao, Bindesh Patel, and Rex Chen | 2013 | Presentation | | 2013 | presentation |
| Extendable Messaging Techniques for Debugging and Analyzing UVM Testbench Structure and Transaction Flow | Jun Zhao, Bindesh Patel, and Rex Chen | 2013 | Paper | | 2013 | paper |
| Extending a Traditional VIP to Solve PHY Verification Challenges | Amit Tanwar, Manoj Manu | 2015 | Presentation | | 2015 | presentation |
| Extending functionality of UVM components by using Visitor design pattern | Darko M. Tomušilović | 2018 | Presentation | | 2018 | presentation |
| Extending functionality of UVM components by using Visitor design pattern | Darko M. Tomušilović | 2018 | Paper | | 2018 | paper |
| Extending Proven Digital Verification Techniques for Mixed-Signal SoCswith VCS AMS | Helene Thibieroz, Adiel Khan, Pierluigi Daglio, and Gernot Koch | 2014 | Presentation | | 2014 | presentation |
| Extending the UVM register model generation and integration flow to support user-defined scenarios and register mask values | Shuang Han, Kees van Kaam, and Martin Barnasconi | 2017 | Paper | | 2017 | paper |
| Extending the UVM register model generation and integration flow to support user-defined scenarios and register mask values | Shuang Han, Kees van Kaam, and Martin Barnasconi | 2017 | Presentation | | 2017 | presentation |
| Extending UVM Register Abstraction Layer for Verification of Register Access via Serial Bus Interface | Darko M. Tomušilović | 2016 | Presentation | | 2016 | presentation |
| Extending UVM Register Abstraction Layer for Verification of Register Access via Serial Bus Interface | Darko Tomušilović | 2016 | Paper | | 2016 | paper |
| Extension of the Power-Aware IP Reuse Approach to ESL | Antonio Genov, Loic Leconte, Fran ç ois Verdier | 2022 | Presentation | | 2022 | presentation |
| Fabric Verification | Galen Blake and Steve Chappell | 2012 | Presentation | | 2012 | presentation |
| Facilitating Transactions in System Verilog and VHDL | Rich Edelman | 2020 | Presentation | | 2020 | presentation |
| Facilitating Transactions in VHDL and SystemVerilog | Rich Edelman | 2020 | Paper | | 2020 | paper |
| Failure Triage: The Neglected Debugging Problem | Sean Safarpour, Evean Qin, Yu-Shen Yang, and Brian Keng | 2012 | Paper | | 2012 | paper |
| Failure Triage: The Neglected Debugging Problem | Sean Safarpour, Evean Qin, Yu-Sheng Yang, and Brian Keng | 2012 | Presentation | | 2012 | presentation |
| Fast and Furious Quick Innovation from Idea to Real Prototype | Simone Fontanesi, Gaetano Formato, Thomas Arndt, and Andrea Monterastelli | 2018 | Paper | | 2018 | paper |
| Fast and FuriousQuick Innovation from Idea to Real Prototy | Simone Fontanesi, Gaetano Formato, Thomas Arndt, and Andrea Monterastelli | 2018 | Presentation | | 2018 | presentation |
| Fast forward Software Development using Advanced Hybrid Technologies | Xiaowei Pan | 2021 | Presentation | | 2021 | presentation |
| Fast Track Formal Verification Signoff | Mandar Munishwar, Xiaolin Chen, Arunava Saha, and Sandeep Jana | 2018 | Poster | | 2018 | poster |
| Fast Track Formal Verification Signoff | Mandar Munishwar, Xiaolin Chen, Arunava Saha, and Sandeep Jana | 2018 | Paper | | 2018 | paper |
| Fault Campaign Framework for FuSa Verification of ISO 26262 Compliant Automotive Products | Prashantkumar Ravindr, Mangesh Pande, and Vinay Rawat | 2021 | Presentation | | 2021 | presentation |
| Fault Campaign Framework for FuSa Verification of ISO 26262 Compliant Automotive Products | Prashantkumar Ravindra, Mangesh Pande, and Vinay Rawat | 2021 | Poster | | 2021 | poster |
| Fault Effect Propagation using Verilog A for Analog Test Coverage | Aishwarya Prabhakaran, Ahmed Sokar, and Jaafar Mejri | 2018 | Presentation | | 2018 | presentation |
| Fault Effect Propagation using Verilog-A for Analog Test Coverage | Aishwarya Prabhakaran, Ahmed Sokar and Jaafar Mejri | 2018 | Paper | | 2018 | paper |
| Fault Injection Made Easy Unified Formal Verification of Normal and Safety Functions | Sergio Marchese, Jörg Grosse, Ashish Darbari | 2017 | Presentation | | 2017 | presentation |
| Fault Injection Strategy to Validate ASIL-D Requirements of BMS Components | Praneeth Uddagiri, Veera Satya Sai Gavirni, Prashantkumar Ravindra | 2022 | Paper | | 2022 | paper |
| Fault Injection Strategy to Validate ASIL-D Requirements of BMS Components | Praneeth Uddagiri, Veera Satya Sai Gavirni, Prashantkumar Ravindra | 2022 | Presentation | | 2022 | presentation |
| Fault Proof: Using Formal Techniques for Safety Verification and Fault Analysis | Adrian Traskov, Thorsten Ehrenberg, Sacha Loitz, Abdelouahab Ayari, Avidan Efody, and Joseph Hupcey III | 2016 | Presentation | | 2016 | presentation |
| Fault Proof: Using Formal Techniques for Safety Verification and Fault Analysis | Adrian Traskov,Thorsten Ehrenberg, Sacha Loitz, Abdelouahab Ayari, Avidan Efody, and Joseph Hupcey III | 2016 | Paper | | 2016 | paper |
| Fault-Effect Analysis on Multiple Abstraction Levels in Hardware Modeling | B-A. Tabacaru, M. Chaari, W. Ecker, T. Kruse, and C. Novello | 2016 | Presentation | | 2016 | presentation |
| Fault-Effect Analysis on Multiple Abstraction Levels in Hardware Modeling | Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, and Cristiano Novello | 2016 | Paper | | 2016 | paper |
| Filtering noise in RDC analysis by clockoff specification | Anupam Saxena, Inayat Ali, SulabhKumar Khare, and Atul Sharma | 2021 | Poster | | 2021 | poster |
| Filtering noise in RDC analysis by clockoff specification | Anupam Saxena, Inayat Ali, Sulabh Kumar Khare and Atul Sharma | 2021 | Presentation | | 2021 | presentation |
| Finding a Needle in a Haystack: A Novel Log Analysis Method with Test Clustering in Distributed System | Jin Choi | 2022 | Presentation | | 2022 | presentation |
| Finding a Needle in a Haystack: A Novel Log Analysis Method with Test Clustering in Distributed Systems | Jin Choi, Sangwoo Noh, Sooncheol Hong, Hanna Jang, Seonghee Yim, and Seonil Brian Choi | 2022 | Paper | | 2022 | paper |
| Finding Hidden Bugs In Deep Cycles: Advanced Debug Methodologies for Software-first System Validation | Youcef Qassid and Andy Jolley | 2022 | Presentation | | 2022 | presentation |
| Finding the Last Bug in a CNN DMA Unit | Bruno Lavigueur, Dean Ke, Eric Rao, Fergus Casey, Achin Mittal, Pallavi Kumari, Michael Thompson, and Roger Sabbagh | 2020 | Paper | | 2020 | paper |
| Finding the Last Bug in a CNN DMA Unit | Bruno Lavigueur, Dean Ke, Eric Rao, Fergus Casey, Achin Mittal, Pallavi Kumari, Michael Thompson, and Roger Sabbagh | 2020 | Presentation | | 2020 | presentation |
| Firmware Firmly under Control: New Optimization and Verification Techniques for Application Specific Electronic System | Daniel Große, Manuel Strobel, Daniel Mueller-Gritschneder, Vladimir Herdt, and Tobias Ludwig | 2018 | Presentation | | 2018 | presentation |
| First Reports from the UVM Trenches: User-friendly, Versatile and Malleable, or just the Emperor’s New Methodology? | Jonathan Bromley | 2011 | Paper | | 2011 | paper |
| Five Ways to Make Your Specman Environment More Reusable and Configurable | Stefan Sljukic, Nikola Knezevic, Filip Dojcinovic | 2021 | Paper | | 2021 | paper |
| Flattening the UVM Learning Curve Automated Solutions for DSP Filter Verification | Avinash Lakshminarayana, Eric Jackowski, Eric Cigan, and Mark Lin | 2022 | Paper | | 2022 | paper |
| Flattening the UVM Learning Curve: Automated Solutions for DSP Filter Verification | Avinash Lakshminarayana, Eric Jackowski,Eric Cigan, Mark Lin | 2022 | Presentation | | 2022 | presentation |
| Flexible Checker: A one-stop shop for all your checkers and a methodology for elastic scoreboarding | Saad Zahid, Chandra Veedhi, and Sumit Dhamanwala | 2019 | Poster | | 2019 | poster |
| Flexible Indirect Registers with UVM | Uwe Simm | 2017 | Presentation | | 2017 | presentation |
| Flexible Indirect Registers With UVM | Uwe Simm | 2017 | Paper | | 2017 | paper |
| Flexible Indirect Registers With UVM | Uwe Simm | 2017 | Presentation | | 2017 | presentation |
| Fnob: Command Line-Dynamic Random Generator | Haoxiang Hu, Tuo Wang | 2022 | Presentation | | 2022 | presentation |
| Fnob: Command Line-Dynamic Random Generator | Haoxiang Hu and Tuo Wang | 2022 | Paper | | 2022 | paper |
| Formal Architectural Specification and Verification of A Complex SOC | Shahid Ikram, Isam Akkawi, David Asher, and Jim Ellis | 2018 | Presentation | | 2018 | presentation |
| FORMAL ARCHITECUTRAL SPECIFICATION AND VERIFICATION OF A COMPLEX SOC | Shahid Ikram, Isam Akkawi, David Asher, and Jim Ellis | 2018 | Paper | | 2018 | paper |
| Formal Assisted Fault Campaign for ISO26262 Certification | Nitin Ahuja, Mayank Agarwal, Sandeep Jana | 2019 | Paper | | 2019 | paper |
| Formal Bug Hunting with “River Fishing” Techniques | Mark Eslinger and Ping Yeung | 2019 | Presentation | | 2019 | presentation |
| Formal Bug Hunting with “River Fishing” Techniques | Mark Eslinger and Ping Yeung | 2019 | Paper | | 2019 | paper |
| Formal Fault Propagation Analysis that Scales to Modern Automotive SoCs | Sergio Marchese and Jörg Grosse | 2017 | Paper | | 2017 | paper |
| Formal Fault Propagation Analysis that Scales to Modern Automotive SoCs | Sergio Marchese | 2017 | Presentation | | 2017 | presentation |
| Formal For Adjacencies Expanding the Scope of Formal Verification | M Achutha KiranKumar V, Bindumadhava Ss., Vichal Verma, Savitha Manojna | 2019 | Presentation | | 2019 | presentation |
| Formal for Adjacencies Expanding the Scope of Formal Verification | M Achutha KiranKumar V, Bindumadhava Ss., Vichal Verma, Savitha Manojna | 2019 | Paper | | 2019 | paper |
| Formal Methods to Verify the Power Manager for an Embedded Multiprocessor Cluster | Kesava R. Talu | 2010 | Paper | | 2010 | paper |
| Formal Proof for GPU Resource Management | Jia Zhu, Chuanqin Yan, and Nigel Wang | 2017 | Presentation | | 2017 | presentation |
| Formal Proof for GPU Resource Management | Jia Zhu, Chuanqin Yan, and Nigel Wang | 2017 | Paper | | 2017 | paper |
| Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC | Katharina Ceesay-Seitz, Sarath Kundumattathil Mohanan, Hamza Boukabache, Daniel Perrin | 2021 | Paper | | 2021 | paper |
| Formal Verification Bootcamp | Mike Bartley | 2019 | Presentation | | 2019 | presentation |
| Formal Verification by The Book: Error Detection and Correction Codes | K. Devarajegowda, V. Hiltl, T. Rabenalt, D. Stoffel, W. Kunz, and W. Ecker | 2020 | Presentation | | 2020 | presentation |
| Formal Verification Experiences: Silicon Bug Hunt with “Deep Sea Fishing” | Mark Handover, Abdelouahab Ayari and Ping Yeung | 2020 | Paper | | 2020 | paper |
| Formal Verification Experiences: Silicon Bug Hunt with “Deep Sea Fishing” | Ping Yeung, Mark Handover, and Abdelouahab Ayari | 2020 | Poster, Presentation | | 2020 | poster presentation |
| Formal Verification Experiences: Spiral Refinement Methodology for Silicon Bug Hunt | Ping Yeung, Mark Eslinger, Jin Hou | 2021 | Paper | | 2021 | paper |
| Formal Verification in the Real World | Jonathan Bromley and Jason Sprott | 2018 | Presentation | | 2018 | presentation |
| Formal Verification of a Highly Configurable DDR Controller IP | Sumit Neb, Chirag Agarwal, Deepak K. Gupta, and Roger Sabbagh | 2018 | Paper | | 2018 | paper |
| Formal Verification of Connections at SoC-level | Penny Yang, Prasun Das, Yuya Kao, and Mingchu Kuo | 2018 | Paper | | 2018 | paper |
| Formal Verification of Connections at SoC-level | Penny Yang, Prasun Das, Yuya Kao, and Mingchu Kuo | 2018 | Presentation | | 2018 | presentation |
| FORMAL VERIFICATION OF FLOATING-POINT HARDWARE WITH ASSERTION-BASED VIP | Ravi Ram, Adam Elkins, Adnan Pratama, Sasa Stamenkovic, Sven Beyer, and Sergio Marchese | 2018 | Paper | | 2018 | paper |
| Formal Verification of Floating-Point Hardware with Assertion-Based VIP | Ravi Ram, Adam Elkins, Adnan Pratama, Sasa Stamenkovic, Sven Beyer, and Sergio Marchese | 2018 | Presentation | | 2018 | presentation |
| Formal verification of low-power RISC-V processors | Ashish Darbari | 2019 | Paper | | 2019 | paper |
| Formal verification of Macro-op cache for Arm Cortex-A77, and its successor CPU | Vaibhav Agrawal | 2020 | Paper | | 2020 | paper |
| Formal Verification of Macro-op Cache for Arm Cortex-A77, and its Successor CPU | Vaibhav Agrawal | 2020 | Presentation | | 2020 | presentation |
| Formal Verification of Silicon for Software Defined Networking | Saurabh Shrivastava, Keqin Han, Anh Tran, Chirag Agarwal, Ankit Saxena, Achin Mittal, Anshul Jain, and Roger Sabbagh | 2018 | Paper | | 2018 | paper |
| Formal Verification on Deep Learning Instructions of GPU | Jian (Jeffrey) Wang and Jia Zhu | 2018 | Paper | | 2018 | paper |
| Formal Verification Tutorial Breaking Through the Knowledge Barrier | Sean Safarpour, Iain Singleton, Shaun Feng, Syed Suhaib, and Mandar Munishwar | 2018 | Presentation | | 2018 | presentation |
| Formal Verificationin the Real World | Jonathan Bromley and Jason Sprott | 2017 | Presentation | | 2017 | presentation |
| FPGA Debug Using Configuration Readback | Mike Dini | 2015 | Presentation | | 2015 | presentation |
| FPGA Implementation Validation and Debug | Rohit Goel, Rakesh Jain, Aman Rana, Ankit Goel | 2015 | Presentation | | 2015 | presentation |
| FPGA-based Clock Domain Crossing Validation for Safety-Critical Designs | Alexander Gnusin | 2019 | Paper | | 2019 | paper |
| FPGA-based Clock Domain Crossing Validation for Safety-Critical Designs | Alexander Gnusin | 2019 | Presentation | | 2019 | presentation |
| Framework for Creating Performance Model of AI Algorithms for Early Architecture Exploration | Amit Dudeja, Amit Tara, Amit Garg, Tushar Jain | 2019 | Presentation | | 2019 | presentation |
| Framework for Creating Performance Model of AI Algorithms for Early Architecture Exploration | Amit Dudeja, Amit Tara, Amit Garg, Tushar Jain | 2019 | Paper | | 2019 | paper |
| Framework For Exploring Interconnect Level Cache Coherency | Parvinder Pal Singh | 2017 | Presentation | | 2017 | presentation |
| Framework for Holistic Assessment of Potential Performance Gains with Different Simulation Acceleration Modes | Parag Goel, Adiel Khan, Amit Sharma | 2015 | Presentation | | 2015 | presentation |
| Free Yourself from the Tyranny of Power State Tables with Incrementally Refinable UPF | Progyna Khondkar, Ping Yeung, Gabriel Chidolue, Joe Hupcey, Rick Koster, and Madhur Bhargava | 2017 | Paper | | 2017 | paper |
| Free Yourself from the Tyranny of Power State Tables with Incrementally Refinable UPF | Progyna Khondkar, Ping Yeung, Gabriel Chidolue, Joe Hupcey, Rick Koster, and Madhur Bhargava | 2017 | Poster | | 2017 | poster |
| From Device Trees to Virtual Prototypes | Sakshi Arora, Vikrant Kamboj, Preeti Sharma | 2019 | Paper | | 2019 | paper |
| From Spec to Verification Closure: a case study of applying UVM-MS for first pass success to a complex Mixed-Signal SoC design | Neyaz Khan and Yaron Kashai | 2012 | Paper | | 2012 | paper |
| From Spec to Verification Closure: A case study of applying UVM-MS for first pass success to a complex MS-SoC design | Neyaz Khan and Yaron Kashai | 2012 | Presentation | | 2012 | presentation |
| From the Magician’s Hat: Developing a Multi-Methodology PCIe Gen2 VIP | Amit Sharma, Abhisek Verma, Varun S., and Anoop Kumar | 2011 | Paper | | 2011 | paper |
| fsim_logic – A VHDL type for testing of FLYTRAP | Joanne E. DeGroat, Ph.D. | 2013 | Paper | | 2013 | paper |
| fsim_logic – A VHDL type for testing of FLYTRAP | Joanne E. DeGroat, Ph.D. | 2013 | Presentation | | 2013 | presentation |
| Full Flow Clock Domain Crossing – From Source To Si | Mark Litterick | 2016 | Presentation | | 2016 | presentation |
| Full Flow Clock Domain Crossing – From Source to Si | M. Litterick | 2016 | Paper | | 2016 | paper |
| Fully Automated Functional Coverage Closure | Manohar Kodi, Sagar Sudam Patil, and Ranjith Nair | 2019 | Paper | | 2019 | paper |
| Fully Automated Functional Coverage Closure |
